Searched defs:PTABLE_CACHE_DISABLED (Results 1 - 4 of 4) sorted by relevance

/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/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h48 #define PTABLE_CACHE_DISABLED 0 /* VMSAv8_64_PTABLE_CACHE_DISABLED */ macro
/barrelfish-master/tools/elver/
H A Delver.c35 #define PTABLE_CACHE_DISABLED (1L << 4) macro

Completed in 95 milliseconds