Searched refs:sgx_free_epc_page (Results 1 – 4 of 4) sorted by relevance
70 sgx_free_epc_page(epc_page); in __sgx_vepc_fault()149 sgx_free_epc_page(epc_page); in sgx_vepc_free_page()
87 void sgx_free_epc_page(struct sgx_epc_page *page);
95 sgx_free_epc_page(page); in __sgx_sanitize_pages()374 sgx_free_epc_page(epc_page); in sgx_reclaim_pages()602 void sgx_free_epc_page(struct sgx_epc_page *page) in sgx_free_epc_page() function
1324 sgx_free_epc_page(page); in sgx_encl_free_epc_page()