sev_guest_df_flush
int sev_guest_df_flush(int *error)
static inline int sev_guest_df_flush(int *error) { return -ENODEV; }