Lines Matching refs:va_page
50 sgx_get_epc_virt_addr(encl_page->va_page->epc_page) + va_offset); in __sgx_encl_eldu()
85 sgx_free_va_slot(encl_page->va_page, va_offset); in sgx_encl_eldu()
86 list_move(&encl_page->va_page->list, &encl->va_pages); in sgx_encl_eldu()
394 struct sgx_va_page *va_page; in sgx_encl_release() local
423 va_page = list_first_entry(&encl->va_pages, struct sgx_va_page, in sgx_encl_release()
425 list_del(&va_page->list); in sgx_encl_release()
426 sgx_encl_free_epc_page(va_page->epc_page); in sgx_encl_release()
427 kfree(va_page); in sgx_encl_release()
704 unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page) in sgx_alloc_va_slot() argument
706 int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT); in sgx_alloc_va_slot()
709 set_bit(slot, va_page->slots); in sgx_alloc_va_slot()
721 void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset) in sgx_free_va_slot() argument
723 clear_bit(offset >> 3, va_page->slots); in sgx_free_va_slot()
732 bool sgx_va_page_full(struct sgx_va_page *va_page) in sgx_va_page_full() argument
734 int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT); in sgx_va_page_full()