Searched refs:sbz0 (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/include/target/arm/barrelfish_kpi/ | ||
H A D | paging_arm_v7.h | 81 uint32_t sbz0 :1; // Should-be-zero member in struct:arm_l1_entry::__anon54 94 uint32_t sbz0 :1; member in struct:arm_l1_entry::__anon55 112 uint32_t sbz0 :1; member in struct:arm_l1_entry::__anon56 146 uint32_t sbz0 :3; // should be zero member in struct:arm_l2_entry::__anon58 |
/barrelfish-master/kernel/arch/armv7/ | ||
H A D | paging.c | 265 pte.page_table.sbz0, 276 printf(" sbz0=%d ap=0x%03x tex=0x%03x shr=%d ng=%d mbz0=%d ns=%d\n", 277 pte.section.sbz0, 292 printf(" sbz0=%d ap=0x%03x tex=0x%03x shr=%d ng=%d mbz0=%d ns=%d\n", 293 pte.super_section.sbz0, |
/barrelfish-master/tools/fastmodels/ | ||
H A D | main.c | 457 uint64_t sbz0 :12; // sbz member in struct:table_descriptor 482 uint64_t sbz0 :18; member in struct:armv8_l1_entry::__anon1427 |
Completed in 167 milliseconds