Age | Commit message (Collapse) | Author | |
---|---|---|---|
1996-01-27 | (ports_no_senders): Use ports_interrupt_rpcs instead of ports_interrupt_rpc. | Miles Bader | |
1996-01-19 | (ports_no_senders): | Miles Bader | |
Interrupt RPCs on PI too. Only do the ports_interrupt_notified_rpcs() if we're actually losing a ref. | |||
1995-12-27 | (ports_no_senders): Interrupt any rpcs requesting such. | Miles Bader | |
1995-06-20 | Initial revision | Michael I. Bushnell | |