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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v7.h100 uint32_t mbz0 :1; //must be zero member in struct:arm_l1_entry::__anon55
118 uint32_t mbz0 :1; //must be one member in struct:arm_l1_entry::__anon56
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c276 printf(" sbz0=%d ap=0x%03x tex=0x%03x shr=%d ng=%d mbz0=%d ns=%d\n",
282 pte.section.mbz0,
292 printf(" sbz0=%d ap=0x%03x tex=0x%03x shr=%d ng=%d mbz0=%d ns=%d\n",
298 pte.super_section.mbz0,

Completed in 118 milliseconds