Symbol: sgx_encl_may_map