diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 15:01:05 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 15:01:05 +0000 |
| commit | af0218b4920aa13c23abd38fcbacfc525b8280a4 (patch) | |
| tree | f8997b3dc9a973c203e0ccfcccca3266f0e093a6 /proc/proc_exc.defs | |
| parent | 283e64e8ee9c856607345a9fb67a36a7d37c4ee4 (diff) | |
(ports_S_interrupt_operation): Set PI->cancel_threshhold if the
incoming seqno is greater than the current threshhold.
Diffstat (limited to 'proc/proc_exc.defs')
0 files changed, 0 insertions, 0 deletions