ESPFIX_BASE_ADDR   84 arch/x86/kernel/espfix_64.c 	addr += ESPFIX_BASE_ADDR;
ESPFIX_BASE_ADDR  120 arch/x86/kernel/espfix_64.c 	pgd = &init_top_pgt[pgd_index(ESPFIX_BASE_ADDR)];
ESPFIX_BASE_ADDR  121 arch/x86/kernel/espfix_64.c 	p4d = p4d_alloc(&init_mm, pgd, ESPFIX_BASE_ADDR);
ESPFIX_BASE_ADDR   97 arch/x86/mm/dump_pagetables.c 	[ESPFIX_START_NR]	= { ESPFIX_BASE_ADDR,	"ESPfix Area", 16 },
ESPFIX_BASE_ADDR  496 arch/x86/mm/pti.c 	pti_clone_p4d(ESPFIX_BASE_ADDR);