stage2_pud_free    24 arch/arm/include/asm/stage2_pgtable.h #define stage2_pud_free(kvm, pud)		do { } while (0)
stage2_pud_free   108 arch/arm64/include/asm/stage2_pgtable.h static inline void stage2_pud_free(struct kvm *kvm, pud_t *pud)