Searched refs:kpi_paging_flags (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/kernel/arch/armv7/ |
H A D | paging.c | 43 paging_set_flags(union arm_l2_entry *entry, uintptr_t kpi_paging_flags) argument 49 (kpi_paging_flags & KPI_PAGING_FLAGS_NOCACHE) ? 0 : 1; 51 (kpi_paging_flags & KPI_PAGING_FLAGS_READ) ? 2 : 0; 53 (kpi_paging_flags & KPI_PAGING_FLAGS_WRITE) ? 3 : 0; 337 uintptr_t kpi_paging_flags, 344 assert(0 == (kpi_paging_flags & ~KPI_PAGING_FLAGS_MASK)); 398 entry->section.cacheable = (kpi_paging_flags & KPI_PAGING_FLAGS_NOCACHE)? 0: 1; 399 entry->section.ap10 = (kpi_paging_flags & KPI_PAGING_FLAGS_READ)? 2:0; 400 entry->section.ap10 |= (kpi_paging_flags & KPI_PAGING_FLAGS_WRITE)? 3:0; 487 uintptr_t kpi_paging_flags, 334 caps_map_l1(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument 484 caps_map_l2(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument 616 paging_modify_flags(struct capability *mapping, uintptr_t offset, uintptr_t pages, uintptr_t kpi_paging_flags) argument [all...] |
/barrelfish-master/kernel/arch/armv8/ |
H A D | paging.c | 307 paging_set_flags(union armv8_ttable_entry *entry, uintptr_t kpi_paging_flags) argument 312 if (kpi_paging_flags & KPI_PAGING_FLAGS_NOCACHE) { 318 if(kpi_paging_flags & KPI_PAGING_FLAGS_WRITE) 320 else if (kpi_paging_flags & KPI_PAGING_FLAGS_READ) 332 uintptr_t kpi_paging_flags, 414 uintptr_t kpi_paging_flags, 488 uintptr_t kpi_paging_flags, 559 uintptr_t kpi_paging_flags, 564 assert(0 == (kpi_paging_flags & ~KPI_PAGING_FLAGS_MASK)); 611 paging_set_flags(entry, kpi_paging_flags); 329 caps_map_l0(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument 411 caps_map_l1(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument 485 caps_map_l2(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument 556 caps_map_l3(struct capability* dest, cslot_t slot, struct capability* src, uintptr_t kpi_paging_flags, uintptr_t offset, uintptr_t pte_count, struct cte* mapping_cte) argument 729 paging_modify_flags(struct capability *mapping, uintptr_t offset, uintptr_t pages, uintptr_t kpi_paging_flags) argument [all...] |
/barrelfish-master/kernel/include/ |
H A D | capabilities.h | 146 uintptr_t pages, uintptr_t kpi_paging_flags);
|
Completed in 86 milliseconds