_PAGE_TABLE_NOENC
*trampoline_32bit = native_read_cr3_pa() | _PAGE_TABLE_NOENC;
__pa_symbol(level3_kernel_pgt) + _PAGE_TABLE_NOENC;
new_cr3[0] = (u64)cr3 | _PAGE_TABLE_NOENC;