Searched refs:sgx_free_epc_page (Results 1 – 2 of 2) sorted by relevance
71 sgx_free_epc_page(epc_page); in __sgx_vepc_fault()150 sgx_free_epc_page(epc_page); in sgx_vepc_free_page()
99 sgx_free_epc_page(page); in __sgx_sanitize_pages()378 sgx_free_epc_page(epc_page); in sgx_reclaim_pages()607 void sgx_free_epc_page(struct sgx_epc_page *page) in sgx_free_epc_page() function