psp_df_flush
if ((error = psp_df_flush(sc)) != 0)
error = psp_df_flush(sc);
if (psp_df_flush() ||
int psp_df_flush(void);