> Date: Thu, 30 Jan 1997 09:05:05 -0500 (EST)
> From: "Charles M. Hannum" <mycroft@mit.edu>
> Subject: Proposal for generalized MI soft interrupts
[...]
> Comments?

This looks pretty good to me, though I'd suggest one name change:

> void softintr_register(cookie)

The name "softintr_request" seems much more obvious to me.

The name "softintr_register" could easily be presumed to do the
same job as what "softintr_establish" does...

Gordon