Home
last modified time | relevance | path

Searched refs:va_page_idx (Results 1 – 1 of 1) sorted by relevance

/f-stack/freebsd/amd64/sgx/
H A Dsgx.c236 uint64_t va_page_idx; in sgx_va_slot_init() local
249 va_page_idx = pidx / SGX_VA_PAGE_SLOTS; in sgx_va_slot_init()
250 idx = - SGX_VA_PAGES_OFFS - va_page_idx; in sgx_va_slot_init()