> > @@ -149,6 +151,7 @@ int msg_send_receive(msg_t *m, msg_t *reply,
> > unsigned int target_pid) 
> >      /* msg_send blocks until reply received */
> >  
> > +    eINT();
> 
> Please use `enableIRQ()` instead of `eINT()`.

The function previously called dINT(); so this is just for consistency.
But I might as well change that to disableIRQ() as well