Mike Long writes:

>>Date: Wed, 19 Nov 1997 06:31:39 -0800 (PST)
>>From: Jonathan Stone <jonathan@DSG.Stanford.EDU>
>
>>spl(9) describes the synchronization protocol used inside the kernel.
>>But the description is not correct. The man page begins

  [...]

>>where historically, and on at least hte mips and vax ports the
>>converse is actually true: sptty() blocks tty interrupts and _lower_
>>spl levels.  For example, spltty() does _not_ block out splsched().

>You are correct, I biffed this.

hi, Mike,

Thanks for the reply. The current manpage had gotten me quie seriously
confused.

I'd like to generate some text that clarifies both that, and the
requirements/invariants that (as far as I understand)

	a) MI callers of the spl* code should obey
	b) the semantics MD code must provide

in order to guarantee correct synchronization -- somewhat like the
manpage I originally counter-proposed to your draft, except describing
semantics rather than specific implentations. I think that would really help.

Does that sound appropriate for this manpage?