..
Undoubtedly -- perhaps the called CPU halts, and therefore cannot reply. :)
But some kind of pre-halt ack, perhaps plus a short delay by the caller
after receipt of the ack, would probably suffice to kill that bug.
But I really haven't studied this code enough to know,
other than that it historically has been a sticky area
to poke around in.
Cheers
--