Searched defs:KPI_PAGING_FLAGS_READ (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h48 #define KPI_PAGING_FLAGS_READ 0x01 macro
H A Dpaging_arm_v7.h62 #define KPI_PAGING_FLAGS_READ 0x01 macro
/barrelfish-master/include/target/aarch64/barrelfish_kpi/
H A Dpaging_arm_v8.h93 #define KPI_PAGING_FLAGS_READ 0x01 macro

Completed in 31 milliseconds