tboot_size         85 arch/x86/kernel/tboot.c 	pr_debug("tboot_size: 0x%x\n", tboot->tboot_size);
tboot_size        164 arch/x86/kernel/tboot.c 	map_size = PFN_UP(tboot->tboot_size);
tboot_size         90 include/linux/tboot.h 	u32 tboot_size;