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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dbadge.h28 #define PID_BADGE_END (PID_BADGE_BASE + PID_MAX) macro
29 #define PID_LIVENESS_BADGE_BASE PID_BADGE_END
/seL4-refos-master/apps/process_server/src/
H A Dbadge.h28 #define PID_BADGE_END (PID_BADGE_BASE + PID_MAX) macro
29 #define PID_LIVENESS_BADGE_BASE PID_BADGE_END
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.h65 return (badge >= PID_BADGE_BASE && badge < PID_BADGE_END);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.h65 return (badge >= PID_BADGE_BASE && badge < PID_BADGE_END);

Completed in 39 milliseconds