Symbol: SGX_VA_PAGES_OFFS