Searched refs:tdx_hardware_setup (Results 1 – 3 of 3) sorted by relevance
11 void tdx_hardware_setup(void);
33 tdx_hardware_setup(); in vt_hardware_setup()
3628 void __init tdx_hardware_setup(void) in tdx_hardware_setup() function