trampoline_p4d
create_p4d_mapping(trampoline_p4d, kernel_map.virt_addr,
static p4d_t trampoline_p4d[PTRS_PER_P4D] __page_aligned_bss;
#define trampoline_p4d ((p4d_t *)XIP_FIXUP(trampoline_p4d))
(uintptr_t)trampoline_p4d : (pgtable_l4_enabled ? \