Searched refs:early_tdx_detect (Results 1 – 3 of 3) sorted by relevance
8 void early_tdx_detect(void);10 static inline void early_tdx_detect(void) { }; in early_tdx_detect() function
64 void early_tdx_detect(void) in early_tdx_detect() function
388 early_tdx_detect(); in extract_kernel()
Completed in 7 milliseconds