Searched refs:bufferable (Results 1 - 3 of 3) sorted by relevance
| /barrelfish-master/include/target/arm/barrelfish_kpi/ | ||
| H A D | paging_arm_v7.h | 90 uint32_t bufferable :1; member in struct:arm_l1_entry::__anon55 108 uint32_t bufferable :1; member in struct:arm_l1_entry::__anon56 143 uint32_t bufferable :1; member in struct:arm_l2_entry::__anon58 158 uint32_t bufferable :1; member in struct:arm_l2_entry::__anon59 |
| /barrelfish-master/kernel/arch/armv7/ | ||
| H A D | paging_init.c | 57 l1.section.bufferable = 0; 84 l1.section.bufferable = 1; |
| H A D | paging.c | 47 entry->small_page.bufferable = 1; 95 l1.section.bufferable = 0; 159 e_l2->small_page.bufferable= 1; 272 pte.section.bufferable, 288 pte.super_section.bufferable, 397 entry->section.bufferable = 1; |
Completed in 84 milliseconds