There is a new article in the current magazine for programmers about kernel locking and interrupt control in NetBSD. Almost eight pages of introduction and turnee over NetBSD API. It should be soon in your nearest Empik.