espfix_pud_page 65 arch/x86/kernel/espfix_64.c static __page_aligned_bss pud_t espfix_pud_page[PTRS_PER_PUD] espfix_pud_page 122 arch/x86/kernel/espfix_64.c p4d_populate(&init_mm, p4d, espfix_pud_page); espfix_pud_page 164 arch/x86/kernel/espfix_64.c pud_p = &espfix_pud_page[pud_index(addr)];