Symbol: sgx_encl_load_page_in_vma