Symbol: USER_VECTOR_ADDR_HIGH
src/system/boot/platform/efi/arch/arm/arch_mmu.cpp
42
#define USER_VECTOR_ADDR_HIGH 0xffff0000
src/system/kernel/arch/arm/arch_int.cpp
58
#define USER_VECTOR_ADDR_HIGH 0xffff0000