+`define INSN_HALT 9'b001110110
+`define INSN_STOP 9'b000010000
+
`ifdef EXECUTE
- `INSN_HALT: begin
+ `INSN_HALT,`INSN_STOP: begin
`EXEC_NEWCYCLE
+ `EXEC_INC_PC
/* XXX Interrupts needed for HALT. */
end
`endif
`ifdef WRITEBACK
- `INSN_HALT: begin
+ `INSN_HALT,`INSN_STOP: begin
/* Nothing needs happen here. */
/* XXX Interrupts needed for HALT. */
end