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