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;