Searched refs:VREGION_FLAGS_NOCACHE (Results 1 - 13 of 13) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dvregion.h28 #define VREGION_FLAGS_NOCACHE 0x08 // Caching disabled macro
43 (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_NOCACHE | VREGION_FLAGS_VTD_SNOOP)
/barrelfish-master/usr/drivers/iommu/modules/intel_vtd/
H A Dintel_vtd_devices.c39 if (attr & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/usr/tests/pagetable/
H A Dprotect.c81 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/usr/arrakismon/
H A Dpaging.h231 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
H A Dguest.c73 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h220 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/usr/bench/mem_appel/
H A Dvmpup.c269 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h220 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c405 if (vregion_flags & VREGION_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/x86_32/
H A Dpmap.c57 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dpmap.c55 if (vregion_flags & VREGION_FLAGS_NOCACHE) {
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c48 STATIC_ASSERT(VREGION_FLAGS_NOCACHE == KPI_PAGING_FLAGS_NOCACHE, "");

Completed in 206 milliseconds