Symbol: SGX_NR_HIGH_PAGES
arch/x86/kernel/cpu/sgx/main.c
416
sgx_should_reclaim(SGX_NR_HIGH_PAGES));
arch/x86/kernel/cpu/sgx/main.c
418
if (sgx_should_reclaim(SGX_NR_HIGH_PAGES))