Symbol: sgx_pageinfo