USER_VECTOR_ADDR_HIGH - Haiku

Symbol: USER_VECTOR_ADDR_HIGH

src/system/boot/platform/efi/arch/arm/arch_mmu.cpp

static uint32_t *sVectorTable = (uint32_t*)USER_VECTOR_ADDR_HIGH;

src/system/kernel/arch/arm/arch_int.cpp

memcpy((void*)USER_VECTOR_ADDR_HIGH, &_vectors_start, VECTORPAGE_SIZE);

src/system/kernel/arch/arm/arch_int.cpp

sUserVectorPageAddress = (addr_t*)USER_VECTOR_ADDR_HIGH;