Searched refs:info_port_rights_cmd (Results 1 – 1 of 1) sorted by relevance
3063 info_port_rights_cmd (char *args, int from_tty) in info_port_rights_cmd() function3183 add_cmd ("port-rights", class_info, info_port_rights_cmd, in add_task_commands()