Symbol: sgx_va_page_full