Symbol: __sgx_alloc_epc_page
arch/x86/kernel/cpu/sgx/main.c
569
page = __sgx_alloc_epc_page();
arch/x86/kernel/cpu/sgx/sgx.h
86
struct sgx_epc_page *__sgx_alloc_epc_page(void);