Symbol: sgx_vepc_free_page
arch/x86/kernel/cpu/sgx/virt.c
204
if (sgx_vepc_free_page(entry))
arch/x86/kernel/cpu/sgx/virt.c
223
if (sgx_vepc_free_page(epc_page))
arch/x86/kernel/cpu/sgx/virt.c
247
if (sgx_vepc_free_page(epc_page))