Searched refs:KPI_PAGING_FLAGS_NOCACHE (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h51 #define KPI_PAGING_FLAGS_NOCACHE 0x08 macro
H A Dpaging_arm_v7.h65 #define KPI_PAGING_FLAGS_NOCACHE 0x08 macro
/barrelfish-master/include/target/aarch64/barrelfish_kpi/
H A Dpaging_arm_v8.h96 #define KPI_PAGING_FLAGS_NOCACHE 0x08 macro
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c49 (kpi_paging_flags & KPI_PAGING_FLAGS_NOCACHE) ? 0 : 1;
398 entry->section.cacheable = (kpi_paging_flags & KPI_PAGING_FLAGS_NOCACHE)? 0: 1;
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c312 if (kpi_paging_flags & KPI_PAGING_FLAGS_NOCACHE) {
/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Dpmap.c72 STATIC_ASSERT(VREGION_FLAGS_NOCACHE == KPI_PAGING_FLAGS_NOCACHE, "");
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c48 STATIC_ASSERT(VREGION_FLAGS_NOCACHE == KPI_PAGING_FLAGS_NOCACHE, "");

Completed in 99 milliseconds