Searched refs:PID_LIVENESS_BADGE_END (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dbadge.h30 #define PID_LIVENESS_BADGE_END (PID_LIVENESS_BADGE_BASE + PID_MAX) macro
37 #define W_BADGE_BASE PID_LIVENESS_BADGE_END
/seL4-refos-master/apps/process_server/src/
H A Dbadge.h30 #define PID_LIVENESS_BADGE_END (PID_LIVENESS_BADGE_BASE + PID_MAX) macro
37 #define W_BADGE_BASE PID_LIVENESS_BADGE_END
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.h75 return (badge >= PID_LIVENESS_BADGE_BASE && badge < PID_LIVENESS_BADGE_END);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.h75 return (badge >= PID_LIVENESS_BADGE_BASE && badge < PID_LIVENESS_BADGE_END);

Completed in 21 milliseconds