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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h38 #define ARM_L1_SECTION_BITS 20u macro
39 #define ARM_L1_SECTION_BYTES (1u << ARM_L1_SECTION_BITS)
42 #define ARM_L1_SECTION_NUMBER(a) ((a) >> ARM_L1_SECTION_BITS)
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c225 dev_virt = (lvaddr_t)(i << ARM_L1_SECTION_BITS);

Completed in 81 milliseconds