The infinite loop is in fact very useful, and I had to explicitly tell my optimizing C compiler (back in the day) not to replace it with a nop instruction when in fact the loop was waiting for an interrupt to occur from an I/O port.

With that perspective, I think the code should in fact just loop there forever. You presumably wrote it that way for a reason. :)