Symbol: sgx_alloc_va_slot
arch/x86/kernel/cpu/sgx/encl.h
120
unsigned int sgx_alloc_va_slot(struct sgx_va_page *va_page);
arch/x86/kernel/cpu/sgx/main.c
215
va_offset = sgx_alloc_va_slot(va_page);