Searched refs:PTABLE_WRITE_THROUGH (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h48 #define PTABLE_WRITE_THROUGH VMSAv8_64_PTABLE_WRITE_THROUGH macro
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h47 #define PTABLE_WRITE_THROUGH X86_32_PTABLE_WRITE_THROUGH macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h47 #define PTABLE_WRITE_THROUGH X86_64_PTABLE_WRITE_THROUGH macro
/barrelfish-2018-10-04/tools/elver/
H A Delver.c36 #define PTABLE_WRITE_THROUGH (1L << 3) macro
229 entry->large.write_through = bitmap & PTABLE_WRITE_THROUGH ? 1 : 0;
/barrelfish-2018-10-04/kernel/include/target/x86_32/
H A Dpaging_kernel_target.h38 PTABLE_CACHE_DISABLED | PTABLE_WRITE_THROUGH)

Completed in 48 milliseconds