Symbol: sgx_alloc_va_page
arch/x86/kernel/cpu/sgx/encl.h
119
struct sgx_epc_page *sgx_alloc_va_page(bool reclaim);
arch/x86/kernel/cpu/sgx/ioctl.c
34
va_page->epc_page = sgx_alloc_va_page(reclaim);