Searched refs:PID_MAX (Results 1 - 10 of 10) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | badge.h | 24 #define PID_MAX PROCSERV_MAX_PROCESSES macro
28 #define PID_BADGE_END (PID_BADGE_BASE + PID_MAX)
30 #define PID_LIVENESS_BADGE_END (PID_LIVENESS_BADGE_BASE + PID_MAX)
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | badge.h | 24 #define PID_MAX PROCSERV_MAX_PROCESSES macro
28 #define PID_BADGE_END (PID_BADGE_BASE + PID_MAX)
30 #define PID_LIVENESS_BADGE_END (PID_LIVENESS_BADGE_BASE + PID_MAX)
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | pid.c | 30 cpool_init(&p->pids, PID_START, PID_MAX);
31 memset(p->pcbs, 0, sizeof(struct proc_pcb*) * PID_MAX);
39 if (pid < PID_START || pid >= PID_MAX) {
61 if (pid < PID_START || pid >= PID_MAX) {
78 if (pid < PID_START || pid >= PID_MAX) {
87 if (pid < PID_START || pid >= PID_MAX) {
107 if (pid < PID_START || pid >= PID_MAX) {
119 for (int i = PID_START; i < PID_MAX; i++) {
|
| H A D | pid.h | 34 struct proc_pcb* pcbs[PID_MAX];
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | pid.c | 30 cpool_init(&p->pids, PID_START, PID_MAX);
31 memset(p->pcbs, 0, sizeof(struct proc_pcb*) * PID_MAX);
39 if (pid < PID_START || pid >= PID_MAX) {
61 if (pid < PID_START || pid >= PID_MAX) {
78 if (pid < PID_START || pid >= PID_MAX) {
87 if (pid < PID_START || pid >= PID_MAX) {
107 if (pid < PID_START || pid >= PID_MAX) {
119 for (int i = PID_START; i < PID_MAX; i++) {
|
| H A D | pid.h | 34 struct proc_pcb* pcbs[PID_MAX];
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test_process.c | 45 uint32_t pidTable[PID_MAX];
50 for (int i = 0; i < (PID_MAX - 1); i++) {
64 for (int i = 0; i < (PID_MAX - 1); i += 2) {
75 for (int i = 0; i < (PID_MAX - 1); i++) {
85 for (int i = 0; i < (PID_MAX - 1); i += 2) {
90 for (int j = 0; j < (PID_MAX - 1); j++) {
101 for (int i = 0; i < (PID_MAX - 1); i++) {
107 for (int i = 0; i < (PID_MAX - 1); i++) {
|
| H A D | test_addrspace.c | 56 const int numTestVS = MIN(8, MIN((PID_MAX - 1), PD_MAX));
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test_process.c | 45 uint32_t pidTable[PID_MAX];
50 for (int i = 0; i < (PID_MAX - 1); i++) {
64 for (int i = 0; i < (PID_MAX - 1); i += 2) {
75 for (int i = 0; i < (PID_MAX - 1); i++) {
85 for (int i = 0; i < (PID_MAX - 1); i += 2) {
90 for (int j = 0; j < (PID_MAX - 1); j++) {
101 for (int i = 0; i < (PID_MAX - 1); i++) {
107 for (int i = 0; i < (PID_MAX - 1); i++) {
|
| H A D | test_addrspace.c | 56 const int numTestVS = MIN(8, MIN((PID_MAX - 1), PD_MAX));
|
Completed in 49 milliseconds