tboot_probe      1239 arch/x86/kernel/setup.c 	tboot_probe();
tboot_probe       131 include/linux/tboot.h extern void tboot_probe(void);