Searched defs:KPI_PAGING_FLAGS_NOCACHE (Results 1 - 3 of 3) 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

Completed in 82 milliseconds