Symbol: sgx_vepc_remove_page
arch/x86/kernel/cpu/sgx/virt.c
131
int ret = sgx_vepc_remove_page(epc_page);
arch/x86/kernel/cpu/sgx/virt.c
161
int ret = sgx_vepc_remove_page(entry);