tboot_probe        49 arch/x86/kernel/tboot.c void __init tboot_probe(void)
tboot_probe       140 include/linux/tboot.h #define tboot_probe()			do { } while (0)