Searched defs:CONSERV_DSPACE_BADGE_STDIO (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dbadge.h70 #define CONSERV_DSPACE_BADGE_STDIO 0x28 /*!< @brief StdIO dataspace badge value. */ macro
/seL4-refos-master/apps/console_server/src/
H A Dbadge.h70 #define CONSERV_DSPACE_BADGE_STDIO 0x28 /*!< @brief StdIO dataspace badge value. */ macro

Completed in 24 milliseconds