Symbol: SGX_EPC_PAGE_IS_FREE
arch/x86/kernel/cpu/sgx/main.c
619
page->flags = SGX_EPC_PAGE_IS_FREE;
arch/x86/kernel/cpu/sgx/main.c
720
if (page->flags & SGX_EPC_PAGE_IS_FREE) {