sev_tio_init_locked
int sev_tio_init_locked(void *tio_status_page);
ret = sev_tio_init_locked(tio_status_page);