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

/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h46 #define PTABLE_ACCESSED VMSAv8_64_PTABLE_ACCESSED macro
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h45 #define PTABLE_ACCESSED X86_32_PTABLE_ACCESSED macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h45 #define PTABLE_ACCESSED X86_64_PTABLE_ACCESSED macro
/barrelfish-2018-10-04/kernel/include/target/x86_32/
H A Dpaging_kernel_target.h37 X86_32_PTABLE_DIRTY | PTABLE_ACCESSED | \
/barrelfish-2018-10-04/tools/elver/
H A Delver.c34 #define PTABLE_ACCESSED (1L << 5) macro

Completed in 46 milliseconds