Searched refs:sev_hardware_teardown (Results 1 – 3 of 3) sorted by relevance
499 void sev_hardware_teardown(void);
1173 void sev_hardware_teardown(void) in sev_hardware_teardown() function
882 sev_hardware_teardown(); in svm_hardware_teardown()
