173 		     sgx_get_epc_virt_addr(encl_page->va_page->epc_page) + va_offset);  in __sgx_encl_eldu()
230 	sgx_free_va_slot(encl_page->va_page, va_offset);  in sgx_encl_eldu()
231 	list_move(&encl_page->va_page->list, &encl->va_pages);  in sgx_encl_eldu()
321 	struct sgx_va_page *va_page;  in sgx_encl_eaug_page()  local
349 	va_page = sgx_encl_grow(encl, false);  in sgx_encl_eaug_page()
350 	if (IS_ERR(va_page)) {  in sgx_encl_eaug_page()
351 		if (PTR_ERR(va_page) == -EBUSY)  in sgx_encl_eaug_page()
356 	if (va_page)  in sgx_encl_eaug_page()
357 		list_add(&va_page->list, &encl->va_pages);  in sgx_encl_eaug_page()
400 	sgx_encl_shrink(encl, va_page);  in sgx_encl_eaug_page()
684 	struct sgx_va_page *va_page;  in sgx_encl_release()  local
729 		va_page = list_first_entry(&encl->va_pages, struct sgx_va_page,  in sgx_encl_release()
731 		list_del(&va_page->list);  in sgx_encl_release()
732 		sgx_encl_free_epc_page(va_page->epc_page);  in sgx_encl_release()
733 		kfree(va_page);  in sgx_encl_release()
1249 unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page)  in sgx_alloc_va_slot()  argument
1251 	int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT);  in sgx_alloc_va_slot()
1254 		set_bit(slot, va_page->slots);  in sgx_alloc_va_slot()
1266 void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset)  in sgx_free_va_slot()  argument
1268 	clear_bit(offset >> 3, va_page->slots);  in sgx_free_va_slot()
1277 bool sgx_va_page_full(struct sgx_va_page *va_page)  in sgx_va_page_full()  argument
1279 	int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT);  in sgx_va_page_full()