Searched refs:ARM_VECTORS_HIGH (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/arch/arm/machine/
H A Dsysarch.h58 #define ARM_TP_ADDRESS (ARM_VECTORS_HIGH + 0x1000)
H A Dvmparam.h175 #define DEVMAP_MAX_VADDR ARM_VECTORS_HIGH
H A Darmreg.h444 #define ARM_VECTORS_HIGH 0xffff0000U macro
447 #define ARM_VECTORS_HIGH 0xffff0000 macro

Completed in 29 milliseconds