Except the kernel_lock.
> b) an interrupt context may never end while still holding a
> spinlock
Are you sure ? Sure, all the cases I can imagine where you'd hold a
different number of spinlocks on entry and on exit have "wrong design"
written all over them (maybe except for managing hot-pluggable CPUs ;-),
but I don't see where this case would be flagged as strictly illegal.
- Werner
-- _________________________________________________________________________ / Werner Almesberger, ICA, EPFL, CH werner.almesberger@ica.epfl.ch / /_IN_R_131__Tel_+41_21_693_6621__Fax_+41_21_693_6610_____________________/- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.rutgers.edu Please read the FAQ at http://www.tux.org/lkml/