--- /dev/null
+`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