Home | History | Annotate | Download | only in gdb

Lines Matching defs:proc_server

91 static process_t proc_server = MACH_PORT_NULL;
115   HURD_MSGPORT_RPC (proc_getmsgport (proc_server, inf->pid, &msgport), \
745       kern_return_t err = proc_pid2task (proc_server, pid, &task_port);
796     proc_getprocinfo (proc_server, inf->pid, &info_flags,
826   err = proc_getprocinfo (proc_server, inf->pid, &info_flags,
1425   kern_return_t err = proc_pid2proc (proc_server, inf->pid, &proc);
1499 	  interrupt_operation (proc_server, 0);
1503 	proc_wait_request (proc_server, inf->event_port, inf->pid, WUNTRACED);
2551   err = proc_task2proc (proc_server, task, &proc);
3484   proc_server = getproc ();