Searched refs:KPI_PAGING_FLAGS_READ (Results 1 - 10 of 10) sorted by relevance

/barrelfish-master/include/arch/arm/barrelfish_kpi/
H A Dpaging_arch.h27 #define PTABLE_ACCESS_DEFAULT (KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE)
28 #define PTABLE_ACCESS_READONLY KPI_PAGING_FLAGS_READ
/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h59 #define PTABLE_ACCESS_DEFAULT (KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE)
60 #define PTABLE_ACCESS_READONLY KPI_PAGING_FLAGS_READ
/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h48 #define KPI_PAGING_FLAGS_READ 0x01 macro
H A Dpaging_arm_v7.h62 #define KPI_PAGING_FLAGS_READ 0x01 macro
/barrelfish-master/usr/tests/nkm/
H A Dinvalid_mappings.c54 #define FRAME_ACCESS_DEFAULT (KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE)
73 #define FRAME_ACCESS_DEFAULT (KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE)
/barrelfish-master/include/target/aarch64/barrelfish_kpi/
H A Dpaging_arm_v8.h93 #define KPI_PAGING_FLAGS_READ 0x01 macro
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c51 (kpi_paging_flags & KPI_PAGING_FLAGS_READ) ? 2 : 0;
399 entry->section.ap10 = (kpi_paging_flags & KPI_PAGING_FLAGS_READ)? 2:0;
/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Dpmap.c69 STATIC_ASSERT(VREGION_FLAGS_READ == KPI_PAGING_FLAGS_READ, "");
180 KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE, 0, 1, newvnode->v.mapping);
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c45 STATIC_ASSERT(VREGION_FLAGS_READ == KPI_PAGING_FLAGS_READ, "");
341 entry, KPI_PAGING_FLAGS_READ | KPI_PAGING_FLAGS_WRITE, 0, 1,
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c320 else if (kpi_paging_flags & KPI_PAGING_FLAGS_READ)

Completed in 197 milliseconds