Home
last modified time | relevance | path

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

/linux-6.12.1/arch/x86/kernel/
Dtboot.c96 static pgd_t *tboot_pg_dir; variable
110 write_cr3(virt_to_phys(tboot_pg_dir)); in switch_to_tboot_pt()
155 tboot_pg_dir = pgd_alloc(&tboot_mm); in map_tboot_pages()
156 if (!tboot_pg_dir) in map_tboot_pages()
239 if (!tboot_pg_dir) in tboot_shutdown()