kvm_set_s2pud_readonly   88 arch/arm/include/asm/kvm_mmu.h static inline void kvm_set_s2pud_readonly(pud_t *pud)
kvm_set_s2pud_readonly  262 arch/arm64/include/asm/kvm_mmu.h static inline void kvm_set_s2pud_readonly(pud_t *pudp)