Symbol: sev_guest_df_flush