Added mutex calls to swi dispatcher