Searched refs:sev_hardware_teardown (Results 1 – 3 of 3) sorted by relevance
559 void sev_hardware_teardown(void);
1952 void sev_hardware_teardown(void) in sev_hardware_teardown() function
906 sev_hardware_teardown(); in svm_hardware_teardown()
