kvm_set_s2pte_readonly 158 arch/arm/include/asm/kvm_mmu.h static inline void kvm_set_s2pte_readonly(pte_t *pte) kvm_set_s2pte_readonly 224 arch/arm64/include/asm/kvm_mmu.h static inline void kvm_set_s2pte_readonly(pte_t *ptep)