uml: irq locking commentary