arch_check_zapped_pud
#define arch_check_zapped_pud arch_check_zapped_pud
void arch_check_zapped_pud(struct vm_area_struct *vma, pud_t pud);
#ifndef arch_check_zapped_pud
arch_check_zapped_pud(vma, orig_pud);