1 |
/* Access, formatting, & comparison routines for printing process info. |
/* Access, formatting, & comparison routines for printing process info. |
2 |
|
|
3 |
Copyright (C) 1995,96,97,99 Free Software Foundation, Inc. |
Copyright (C) 1995,96,97,99,2001 Free Software Foundation, Inc. |
4 |
|
|
5 |
Written by Miles Bader <miles@gnu.org> |
Written by Miles Bader <miles@gnu.org> |
6 |
|
|
731 |
else if (strcmp (wait, "kernel") == 0) |
else if (strcmp (wait, "kernel") == 0) |
732 |
/* A syscall. RPC is actually the syscall number. */ |
/* A syscall. RPC is actually the syscall number. */ |
733 |
{ |
{ |
|
extern char *get_syscall_name (int num); |
|
734 |
char *name = get_syscall_name (rpc); |
char *name = get_syscall_name (rpc); |
735 |
if (! name) |
if (! name) |
736 |
{ |
{ |
743 |
/* An rpc (with msg id RPC); WAIT describes the dest port. */ |
/* An rpc (with msg id RPC); WAIT describes the dest port. */ |
744 |
{ |
{ |
745 |
char port_name_buf[20]; |
char port_name_buf[20]; |
|
extern char *get_rpc_name (mach_msg_id_t num); |
|
746 |
char *name = get_rpc_name (rpc); |
char *name = get_rpc_name (rpc); |
747 |
|
|
748 |
/* See if we should give a more useful name for the port. */ |
/* See if we should give a more useful name for the port. */ |