Symbol: sgx_encl_load_page