Searched refs:PTABLE_CACHE_DISABLED (Results 1 - 14 of 14) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h48 #define PTABLE_CACHE_DISABLED 0 /* VMSAv8_64_PTABLE_CACHE_DISABLED */ macro
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h46 #define PTABLE_CACHE_DISABLED X86_32_PTABLE_CACHE_DISABLED macro
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h46 #define PTABLE_CACHE_DISABLED X86_64_PTABLE_CACHE_DISABLED macro
/barrelfish-master/usr/tests/pagetable/
H A Dprotect.c82 pmap_flags |= PTABLE_CACHE_DISABLED;
/barrelfish-master/tools/elver/
H A Delver.c35 #define PTABLE_CACHE_DISABLED (1L << 4) macro
230 entry->large.cache_disabled = bitmap & PTABLE_CACHE_DISABLED ? 1 : 0;
/barrelfish-master/usr/arrakismon/
H A Dpaging.h232 pmap_flags |= PTABLE_CACHE_DISABLED;
H A Dguest.c74 pmap_flags |= PTABLE_CACHE_DISABLED;
/barrelfish-master/kernel/include/target/x86_32/
H A Dpaging_kernel_target.h38 PTABLE_CACHE_DISABLED | PTABLE_WRITE_THROUGH)
/barrelfish-master/usr/tests/nested_paging_test/
H A Dnestedpaging.h221 pmap_flags |= PTABLE_CACHE_DISABLED;
/barrelfish-master/kernel/arch/k1om/
H A Dinit.c305 | PTABLE_CACHE_DISABLED);
/barrelfish-master/usr/bench/mem_appel/
H A Dvmpup.c270 pmap_flags |= PTABLE_CACHE_DISABLED;
/barrelfish-master/lib/posixcompat/
H A Dnestedpaging.h221 pmap_flags |= PTABLE_CACHE_DISABLED;
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c406 pmap_flags |= PTABLE_CACHE_DISABLED;
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dpmap.c56 pmap_flags |= PTABLE_CACHE_DISABLED;

Completed in 174 milliseconds