Symbol: SGX_PAGE_TYPE_VA
arch/x86/include/asm/sgx.h
301
SGX_SECINFO_VA = (SGX_PAGE_TYPE_VA << 8),
arch/x86/kernel/cpu/sgx/encls.h
206
unsigned long rbx = SGX_PAGE_TYPE_VA;