Symbol: tboot_probe
arch/x86/kernel/setup.c
1215
tboot_probe();
include/linux/tboot.h
125
extern void tboot_probe(void);