Symbol: sgx_free_epc_page
arch/x86/kernel/cpu/sgx/encl.c
1325
sgx_free_epc_page(page);
arch/x86/kernel/cpu/sgx/main.c
378
sgx_free_epc_page(epc_page);
arch/x86/kernel/cpu/sgx/main.c
99
sgx_free_epc_page(page);
arch/x86/kernel/cpu/sgx/sgx.h
87
void sgx_free_epc_page(struct sgx_epc_page *page);
arch/x86/kernel/cpu/sgx/virt.c
150
sgx_free_epc_page(epc_page);
arch/x86/kernel/cpu/sgx/virt.c
71
sgx_free_epc_page(epc_page);