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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h130 #define L1_TYPE(x) ((x) & 3) macro
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c228 if ( L1_TYPE(l1_high[i].raw) == L1_TYPE_SECTION_ENTRY &&
234 if ( L1_TYPE(l1_high[i].raw) == L1_TYPE_INVALID_ENTRY ) {
252 if ( L1_TYPE(pte.raw) == L1_TYPE_INVALID_ENTRY) {
256 switch( L1_TYPE(pte.raw) ) {

Completed in 83 milliseconds