Searched refs:ARM_L1_SECTION_OFFSET (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h41 #define ARM_L1_SECTION_OFFSET(a) ((a) & ARM_L1_SECTION_MASK) macro
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c219 uint32_t dev_offset = ARM_L1_SECTION_OFFSET(dev_base);

Completed in 30 milliseconds