sgx_free_va_slot - Linux

Symbol: sgx_free_va_slot

arch/x86/kernel/cpu/sgx/encl.c

sgx_free_va_slot(encl_page->va_page, va_offset);

arch/x86/kernel/cpu/sgx/encl.h

void sgx_free_va_slot(struct sgx_va_page *va_page, unsigned int offset);

arch/x86/kernel/cpu/sgx/main.c

sgx_free_va_slot(va_page, va_offset);