Symbol: SVSM_ATTEST_CALL