Add ISR aware mutex API