Symbol: sgx_get_encls_gva