Searched refs:tdx_early_init (Results 1 – 3 of 3) sorted by relevance
43 void __init tdx_early_init(void);57 static inline void tdx_early_init(void) { }; in tdx_early_init() function
525 tdx_early_init(); in x86_64_start_kernel()
761 void __init tdx_early_init(void) in tdx_early_init() function