<owned_state name="UNDEF/HANDLED INTERRUPT" owning_fsm="/"> <outgoing_transition name="ahci_qc_prep <libahci>" source="//@owned_state.0" target="//@owned_state.1"/> <outgoing_transition name="ahci_qc_prep <libahci>" source="//@owned_state.0" target="//@owned_state.2"/> <outgoing_transition name="ahci_qc_prep <libahci>" source="//@owned_state.0" target="//@owned_state.6"/> <outgoing_transition name="set_intr_registers <device>" source="//@owned_state.0" target="//@owned_state.4"/> <outgoing_transition name="ahci_qc_prep <libahci>" source="//@owned_state.0" target="//@owned_state.10"/> <incoming_transition name="ahci_interrupt <libahci>" source="//@owned_state.7" target="//@owned_state.0"/> <incoming_transition name="ahci_interrupt <libahci>" source="//@owned_state.8" target="//@owned_state.0"/> <incoming_transition name="ahci_interrupt <libahci>" source="//@owned_state.4" target="//@owned_state.0"/> <values name="value0" value="UNDEF"/> <values name="value1" value="HANDLED INTERRUPT"/> <values name="value2" value="UNDEF"/> <values name="value3" value="UNDEF"/> </owned_state>