Searched refs:trampoline_pgd (Results 1 – 6 of 6) sorted by relevance
39 u64 *trampoline_pgd; in setup_real_mode() local86 trampoline_pgd = (u64 *) __va(real_mode_header->trampoline_pgd); in setup_real_mode()87 trampoline_pgd[0] = init_level4_pgt[pgd_index(__PAGE_OFFSET)].pgd; in setup_real_mode()88 trampoline_pgd[511] = init_level4_pgt[511].pgd; in setup_real_mode()
132 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in efi_sync_low_kernel_mappings()154 efi_scratch.efi_pgt = (pgd_t *)(unsigned long)real_mode_header->trampoline_pgd; in efi_setup_page_tables()199 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in efi_cleanup_page_tables()206 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in __map_region()315 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in efi_dump_pagetable()
16 u32 trampoline_pgd; member
143 GLOBAL(trampoline_pgd) .space PAGE_SIZE
35 ->trampoline_pgd:
95 write_cr3(real_mode_header->trampoline_pgd); in machine_real_restart()