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

/barrelfish-master/include/arch/x86_32/barrelfish_kpi/
H A Dpaging_arch.h41 #define PTABLE_EXECUTE_DISABLE X86_32_PTABLE_EXECUTE_DISABLE macro
/barrelfish-master/include/arch/x86_64/barrelfish_kpi/
H A Dpaging_arch.h41 #define PTABLE_EXECUTE_DISABLE X86_64_PTABLE_EXECUTE_DISABLE macro
/barrelfish-master/include/arch/aarch64/barrelfish_kpi/
H A Dpaging_arch.h43 #define PTABLE_EXECUTE_DISABLE 0 /* VMSAv8_64_PTABLE_EXECUTE_DISABLE */ macro
/barrelfish-master/tools/elver/
H A Delver.c30 #define PTABLE_EXECUTE_DISABLE (1LL << 63) macro

Completed in 30 milliseconds