{
global:
    get_launch_token;
    sgx_init_quote;
    sgx_get_quote_size;
    sgx_get_quote;
    sgx_get_ps_cap;
    sgx_report_attestation_status;
    create_session_ocall;
    exchange_report_ocall;
    close_session_ocall;
    invoke_service_ocall;
local:
    *;
};