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()
334 	struct sgx_va_page *va_page;  in sgx_encl_eaug_page()  local
369 	va_page = sgx_encl_grow(encl, false);  in sgx_encl_eaug_page()
370 	if (IS_ERR(va_page)) {  in sgx_encl_eaug_page()
371 		if (PTR_ERR(va_page) == -EBUSY)  in sgx_encl_eaug_page()
376 	if (va_page)  in sgx_encl_eaug_page()
377 		list_add(&va_page->list, &encl->va_pages);  in sgx_encl_eaug_page()
420 	sgx_encl_shrink(encl, va_page);  in sgx_encl_eaug_page()
704 	struct sgx_va_page *va_page;  in sgx_encl_release()  local
749 		va_page = list_first_entry(&encl->va_pages, struct sgx_va_page,  in sgx_encl_release()
751 		list_del(&va_page->list);  in sgx_encl_release()
752 		sgx_encl_free_epc_page(va_page->epc_page);  in sgx_encl_release()
753 		kfree(va_page);  in sgx_encl_release()
1271 unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page)  in sgx_alloc_va_slot()  argument
1273 	int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT);  in sgx_alloc_va_slot()
1276 		set_bit(slot, va_page->slots);  in sgx_alloc_va_slot()
1288 void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset)  in sgx_free_va_slot()  argument
1290 	clear_bit(offset >> 3, va_page->slots);  in sgx_free_va_slot()
1299 bool sgx_va_page_full(struct sgx_va_page *va_page)  in sgx_va_page_full()  argument
1301 	int slot = find_first_zero_bit(va_page->slots, SGX_VA_SLOT_COUNT);  in sgx_va_page_full()