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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h50 #define KPI_PAGING_FLAGS_EXECUTE 0x04 macro
H A Dpaging_arm_v7.h64 #define KPI_PAGING_FLAGS_EXECUTE 0x04 macro
/barrelfish-master/include/target/aarch64/barrelfish_kpi/
H A Dpaging_arm_v8.h95 #define KPI_PAGING_FLAGS_EXECUTE 0x04 macro
/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Dpmap.c71 STATIC_ASSERT(VREGION_FLAGS_EXECUTE == KPI_PAGING_FLAGS_EXECUTE, "");
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c47 STATIC_ASSERT(VREGION_FLAGS_EXECUTE == KPI_PAGING_FLAGS_EXECUTE, "");

Completed in 42 milliseconds