Use new mutex api to return from isr