SVSM_CORE_CALL
call.rax = SVSM_CORE_CALL(SVSM_CORE_PVALIDATE);
call.rax = SVSM_CORE_CALL(SVSM_CORE_REMAP_CA);
call.rax = SVSM_CORE_CALL(SVSM_CORE_CREATE_VCPU);
call.rax = SVSM_CORE_CALL(SVSM_CORE_DELETE_VCPU);
call.rax = SVSM_CORE_CALL(SVSM_CORE_PVALIDATE);