Searched refs:tdx_hardware_setup (Results 1 – 2 of 2) sorted by relevance
10 int tdx_hardware_setup(void);
3462 int __init tdx_hardware_setup(void) in tdx_hardware_setup() function