Symbol: sgx_page_type