Searched refs:sev_hardware_teardown (Results 1 – 3 of 3) sorted by relevance
498 void sev_hardware_teardown(void);
1169 void sev_hardware_teardown(void) in sev_hardware_teardown() function
881 sev_hardware_teardown(); in svm_hardware_teardown()