SVSM_ATTEST_CALL
call_id = SVSM_ATTEST_CALL(SVSM_ATTEST_SERVICES);
call_id = SVSM_ATTEST_CALL(SVSM_ATTEST_SINGLE_SERVICE);