Searched refs:PID_BADGE_BASE (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dbadge.h27 #define PID_BADGE_BASE 0x3 macro
28 #define PID_BADGE_END (PID_BADGE_BASE + PID_MAX)
/seL4-refos-master/apps/process_server/src/
H A Dbadge.h27 #define PID_BADGE_BASE 0x3 macro
28 #define PID_BADGE_END (PID_BADGE_BASE + PID_MAX)
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/
H A Dpid.c92 return (pid + PID_BADGE_BASE);
98 if (badge < PID_BADGE_BASE) {
101 return pid_get_pcb(p, badge - PID_BADGE_BASE);
/seL4-refos-master/apps/process_server/src/system/process/
H A Dpid.c92 return (pid + PID_BADGE_BASE);
98 if (badge < PID_BADGE_BASE) {
101 return pid_get_pcb(p, badge - PID_BADGE_BASE);
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.h65 return (badge >= PID_BADGE_BASE && badge < PID_BADGE_END);
H A Dfault_handler.c367 assert(pcb->pid == m->badge - PID_BADGE_BASE);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.h65 return (badge >= PID_BADGE_BASE && badge < PID_BADGE_END);
H A Dfault_handler.c367 assert(pcb->pid == m->badge - PID_BADGE_BASE);

Completed in 38 milliseconds