[epcoa]

But what forces you to declare the correct interrupt policy as it may not be the same for all uses of even the same mutex?