tboot_base         84 arch/x86/kernel/tboot.c 	pr_debug("tboot_base: 0x%08x\n", tboot->tboot_base);
tboot_base        163 arch/x86/kernel/tboot.c 	map_base = PFN_DOWN(tboot->tboot_base);
tboot_base         89 include/linux/tboot.h 	u32 tboot_base;