kvm_s2pud_exec    116 arch/arm/include/asm/kvm_mmu.h static inline bool kvm_s2pud_exec(pud_t *pud)
kvm_s2pud_exec    272 arch/arm64/include/asm/kvm_mmu.h static inline bool kvm_s2pud_exec(pud_t *pudp)