Lines Matching refs:pid
62 @param pid PID intended to be freed and recycled.
64 void pid_free(struct pid_list *p, uint32_t pid);
68 @param pid PID of process to look up.
69 @return the proc_pcb struct corresponding to pid if success, NULL otherwise.
71 struct proc_pcb* pid_get_pcb(struct pid_list *p, uint32_t pid);
76 @return the proc_pcb struct corresponding to pid if success, NULL otherwise.
81 @param pid PID of valid process.
84 uint32_t pid_get_badge(uint32_t pid);
87 @param pid PID of valid process.
90 uint32_t pid_get_liveness_badge(uint32_t pid);