__invalidate_icache_guest_page  236 arch/arm/include/asm/kvm_mmu.h static inline void __invalidate_icache_guest_page(kvm_pfn_t pfn,
__invalidate_icache_guest_page  326 arch/arm64/include/asm/kvm_mmu.h static inline void __invalidate_icache_guest_page(kvm_pfn_t pfn,