Searched refs:early_tdx_detect (Results 1 – 2 of 2) sorted by relevance
8 void early_tdx_detect(void);10 static inline void early_tdx_detect(void) { }; in early_tdx_detect() function
441 early_tdx_detect(); in extract_kernel()