Searched refs:sgx_free_va_slot (Results 1 – 3 of 3) sorted by relevance
121 void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset);
230 sgx_free_va_slot(encl_page->va_page, va_offset); in sgx_encl_eldu()1288 void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset) in sgx_free_va_slot() function
244 sgx_free_va_slot(va_page, va_offset); in sgx_encl_ewb()