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

/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h48 #define PTABLE_USER_SUPERVISOR X86_32_PTABLE_USER_SUPERVISOR macro
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h49 #define PTABLE_USER_SUPERVISOR VMSAv8_64_PTABLE_USER_SUPERVISOR macro
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h48 #define PTABLE_USER_SUPERVISOR X86_64_PTABLE_USER_SUPERVISOR macro
/barrelfish-2018-10-04/tools/elver/
H A Delver.c37 #define PTABLE_USER_SUPERVISOR (1L << 2) macro

Completed in 38 milliseconds