/* XXX These have to become spinlocks in case of fine SMP */