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