Symbol: sgx_encl_mm