Searched refs:sev_guest_df_flush (Results 1 – 1 of 1) sorted by relevance
2643 int sev_guest_df_flush(int *error) in sev_guest_df_flush() function2647 EXPORT_SYMBOL_GPL(sev_guest_df_flush);