Searched refs:kpi_paging_flags (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c43 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 Dpaging.c307 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 Dcapabilities.h146 uintptr_t pages, uintptr_t kpi_paging_flags);

Completed in 86 milliseconds