Symbol: ARM_VECTORS_HIGH
sys/arch/arm/arm/arm32_machdep.c
148
if (va == ARM_VECTORS_HIGH) {
sys/arch/arm/arm/cpufunc.c
400
if (vector_page == ARM_VECTORS_HIGH)
sys/arch/armv7/armv7/armv7_machdep.c
337
if (va == (ARM_VECTORS_HIGH & ~(0x00400000 - 1)))
sys/arch/armv7/armv7/armv7_machdep.c
542
vector_page = ARM_VECTORS_HIGH;