kvm_s2pte_exec    168 arch/arm/include/asm/kvm_mmu.h static inline bool kvm_s2pte_exec(pte_t *pte)
kvm_s2pte_exec    242 arch/arm64/include/asm/kvm_mmu.h static inline bool kvm_s2pte_exec(pte_t *ptep)