Searched refs:tboot_probe (Results 1 – 3 of 3) sorted by relevance
123 void tboot_probe(void);132 static inline void tboot_probe(void) {} in tboot_probe() function
92 void __init tboot_probe(void) in tboot_probe() function
1674 tboot_probe(); in __start_xen()
Completed in 6 milliseconds