Home
last modified time | relevance | path

Searched refs:sgx_free_epc_page (Results 1 – 4 of 4) sorted by relevance

/openbmc/linux/arch/x86/kernel/cpu/sgx/
H A Dsgx.h87 void sgx_free_epc_page(struct sgx_epc_page *page);
H A Dvirt.c70 sgx_free_epc_page(epc_page); in __sgx_vepc_fault()
149 sgx_free_epc_page(epc_page); in sgx_vepc_free_page()
H A Dmain.c95 sgx_free_epc_page(page); in __sgx_sanitize_pages()
374 sgx_free_epc_page(epc_page); in sgx_reclaim_pages()
603 void sgx_free_epc_page(struct sgx_epc_page *page) in sgx_free_epc_page() function
H A Dencl.c1324 sgx_free_epc_page(page); in sgx_encl_free_epc_page()