Searched refs:PADDR_SPACE_SIZE (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86_32/
H A Doffsets.h20 #define PADDR_SPACE_SIZE X86_32_PADDR_SPACE_SIZE macro
59 assert(addr < PADDR_SPACE_SIZE);
/barrelfish-2018-10-04/kernel/include/arch/armv7/
H A Doffsets.h52 #define PADDR_SPACE_SIZE GEN_ADDR(32) macro
58 #define PADDR_SPACE_LIMIT (PADDR_SPACE_SIZE - 1)
162 //assert(addr < PADDR_SPACE_SIZE);
/barrelfish-2018-10-04/kernel/include/arch/k1om/
H A Doffsets.h20 #define PADDR_SPACE_SIZE K1OM_PADDR_SPACE_SIZE macro
/barrelfish-2018-10-04/kernel/include/arch/x86_64/
H A Doffsets.h20 #define PADDR_SPACE_SIZE X86_64_PADDR_SPACE_SIZE macro
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Doffsets.h36 #define PADDR_SPACE_SIZE GEN_ADDR(PADDR_SPACE_SIZE_BITS) macro
147 //assert(addr < PADDR_SPACE_SIZE);

Completed in 42 milliseconds