Searched refs:trampoline_pgd (Results 1 – 5 of 5) sorted by relevance
41 u64 *trampoline_pgd; in setup_real_mode() local88 trampoline_pgd = (u64 *) __va(real_mode_header->trampoline_pgd); in setup_real_mode()89 trampoline_pgd[0] = init_level4_pgt[pgd_index(__PAGE_OFFSET)].pgd; in setup_real_mode()90 trampoline_pgd[511] = init_level4_pgt[511].pgd; in setup_real_mode()
16 u32 trampoline_pgd; member
133 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in efi_sync_low_kernel_mappings()155 efi_scratch.efi_pgt = (pgd_t *)(unsigned long)real_mode_header->trampoline_pgd; in efi_setup_page_tables()200 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in efi_cleanup_page_tables()207 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in __map_region()316 pgd_t *pgd = (pgd_t *)__va(real_mode_header->trampoline_pgd); in efi_dump_pagetable()
144 GLOBAL(trampoline_pgd) .space PAGE_SIZE
95 write_cr3(real_mode_header->trampoline_pgd); in machine_real_restart()