Searched refs:sbz1 (Results 1 - 3 of 3) sorted by relevance
/barrelfish-2018-10-04/include/target/arm/barrelfish_kpi/ | ||
H A D | paging_arm_v7.h | 82 uint32_t sbz1 :1; // Should-be-zero member in struct:arm_l1_entry::__anon350 |
/barrelfish-2018-10-04/kernel/arch/armv7/ | ||
H A D | paging.c | 260 printf("L2 PT 0x%"PRIxLPADDR" pxn=%d ns=%d sbz=%d dom=0x%04x sbz1=%d \n", 266 pte.page_table.sbz1 ); |
/barrelfish-2018-10-04/tools/fastmodels/ | ||
H A D | main.c | 484 uint64_t sbz1 :4; member in struct:armv8_l1_entry::__anon1427 |
Completed in 56 milliseconds