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

/barrelfish-master/kernel/arch/armv7/
H A Dpaging_init.c62 l1.section.base_address = ARM_L1_SECTION_NUMBER(pa);
94 l1.section.base_address = ARM_L1_SECTION_NUMBER(pa);
H A Dpaging.c100 l1.section.base_address = ARM_L1_SECTION_NUMBER(pa);
208 if (ARM_L1_SECTION_NUMBER(dev_base) != ARM_L1_SECTION_NUMBER(dev_base+dev_size-1)) {
218 uint32_t dev_section = ARM_L1_SECTION_NUMBER(dev_base);
/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h42 #define ARM_L1_SECTION_NUMBER(a) ((a) >> ARM_L1_SECTION_BITS) macro

Completed in 90 milliseconds