Searched refs:tdx_early_init (Results 1 – 3 of 3) sorted by relevance
59 void __init tdx_early_init(void);80 static inline void tdx_early_init(void) { }; in tdx_early_init() function
279 tdx_early_init(); in x86_64_start_kernel()
1113 void __init tdx_early_init(void) in tdx_early_init() function