Searched refs:CONSERV_ASYNC_BADGE_MASK (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Dbadge.h78 #define CONSERV_ASYNC_BADGE_MASK (1 << 19) macro
H A Dstate.c99 .faultDeathNotifyBadge = CONSERV_ASYNC_NOTIFY_BADGE | CONSERV_ASYNC_BADGE_MASK
110 .badgeMaskBits = CONSERV_ASYNC_BADGE_MASK,
/seL4-refos-master/apps/console_server/src/
H A Dbadge.h78 #define CONSERV_ASYNC_BADGE_MASK (1 << 19) macro
H A Dstate.c99 .faultDeathNotifyBadge = CONSERV_ASYNC_NOTIFY_BADGE | CONSERV_ASYNC_BADGE_MASK
110 .badgeMaskBits = CONSERV_ASYNC_BADGE_MASK,
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Dclient_watch.c50 if ((m->badge & CONSERV_ASYNC_BADGE_MASK) == 0) {
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Dclient_watch.c50 if ((m->badge & CONSERV_ASYNC_BADGE_MASK) == 0) {

Completed in 66 milliseconds