Searched refs:sgx_alloc_va_slot (Results 1 – 2 of 2) sorted by relevance
215 va_offset = sgx_alloc_va_slot(va_page); in sgx_encl_ewb()
1272 unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page) in sgx_alloc_va_slot() function