sev_do_cmd
int sev_do_cmd(int cmd, void *data, int *psp_ret)
sev_do_cmd(int cmd, void *data, int *psp_ret) { return -ENODEV; }