t_return_minterrupt
Transition between states
From
J434E9C490242
To
J434E9C3902C5
Transition code
printf("\nMSG_I: Now listening again...\n");
Triggers:
Signals
returnContext
Ports
interface_mi