Cosmetic: added set_outer_spinlock