fixup_int          91 arch/x86/kernel/head64.c 	*fixup_int(&__pgtable_l5_enabled, physaddr) = 1;
fixup_int          92 arch/x86/kernel/head64.c 	*fixup_int(&pgdir_shift, physaddr) = 48;
fixup_int          93 arch/x86/kernel/head64.c 	*fixup_int(&ptrs_per_p4d, physaddr) = 512;