hyp_pud_table_empty  200 arch/arm/include/asm/kvm_mmu.h #define hyp_pud_table_empty(pudp) false
hyp_pud_table_empty  296 arch/arm64/include/asm/kvm_mmu.h #define hyp_pud_table_empty(pudp) (0)
hyp_pud_table_empty  298 arch/arm64/include/asm/kvm_mmu.h #define hyp_pud_table_empty(pudp) kvm_page_empty(pudp)