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