Searched refs:PTABLE_ATTR_INDEX (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h45 #define PTABLE_ATTR_INDEX 0 /* VMSAv8_64_PTABLE_ATTR_INDEX */ macro
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h43 #define PTABLE_ATTR_INDEX X86_32_PTABLE_ATTR_INDEX macro
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h43 #define PTABLE_ATTR_INDEX X86_64_PTABLE_ATTR_INDEX macro
/barrelfish-master/tools/elver/
H A Delver.c32 #define PTABLE_ATTR_INDEX (1L << 7) macro
232 entry->large.attr_index = bitmap & PTABLE_ATTR_INDEX ? 1 : 0;
/barrelfish-master/usr/bench/cow/
H A Dpmap_cow.c410 pmap_flags |= PTABLE_ATTR_INDEX;
/barrelfish-master/lib/barrelfish/arch/x86_32/
H A Dpmap.c62 pmap_flags |= PTABLE_ATTR_INDEX;
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dpmap.c60 pmap_flags |= PTABLE_ATTR_INDEX;

Completed in 93 milliseconds