Searched refs:ip_made_pid (Results 1 – 3 of 3) sorted by relevance
214 uint32_t ip_made_pid; /* for debugging */ member
3477 port->ip_made_pid = proc_pid(proc); in ipc_port_init_debug()
720 pid = port.ip_made_pid;