tboot_pg_dir       88 arch/x86/kernel/tboot.c static pgd_t *tboot_pg_dir;
tboot_pg_dir      101 arch/x86/kernel/tboot.c 	write_cr3(virt_to_phys(tboot_pg_dir));
tboot_pg_dir      146 arch/x86/kernel/tboot.c 	tboot_pg_dir = pgd_alloc(&tboot_mm);
tboot_pg_dir      147 arch/x86/kernel/tboot.c 	if (!tboot_pg_dir)
tboot_pg_dir      230 arch/x86/kernel/tboot.c 	if (!tboot_pg_dir)