First, a trivial thing (typo): Your softclock_oskit code calls
base_irq_softint_enabled where you want base_irq_softint_enable.
I haven't thought through in full detail what your code does. But I think
it is dubious in fundamental ways. I don't understand the rationale behind
using base_irq_soft* and diddling with osenv_intr_*.
The osenv_softirq should be implemented entirely in terms of the Mach spl*
calls. i.e., disable = splsoftclock, enable = splx(what it was before),
and for schedule just call setsoftclock after setting your mask (at
splsoftclock).
_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd
