Searched refs:tboot_pg_dir (Results 1 - 1 of 1) sorted by relevance

/linux-4.1.27/arch/x86/kernel/
H A Dtboot.c107 static pgd_t *tboot_pg_dir; variable
120 write_cr3(virt_to_phys(tboot_pg_dir)); switch_to_tboot_pt()
150 tboot_pg_dir = pgd_alloc(&tboot_mm); map_tboot_pages()
151 if (!tboot_pg_dir) map_tboot_pages()
234 if (!tboot_pg_dir) tboot_shutdown()

Completed in 85 milliseconds