`ifdef EXECUTE `INSN_HALT: begin `EXEC_NEWCYCLE /* XXX Interrupts needed for HALT. */ end `endif `ifdef WRITEBACK `INSN_HALT: begin /* Nothing needs happen here. */ /* XXX Interrupts needed for HALT. */ end `endif