Searched refs:toggle_la57 (Results 1 – 1 of 1) sorted by relevance
106 void (*toggle_la57)(void *cr3); in configure_5level_paging() local152 toggle_la57 = memcpy(trampoline_32bit + in configure_5level_paging()162 *(u32 *)((u8 *)toggle_la57 + trampoline_ljmp_imm_offset) += in configure_5level_paging()163 (unsigned long)toggle_la57; in configure_5level_paging()193 toggle_la57(trampoline_32bit); in configure_5level_paging()