sev_guest_df_flush
ret = sev_guest_df_flush(&error);
EXPORT_SYMBOL_GPL(sev_guest_df_flush);
int sev_guest_df_flush(int *error);