insn_halt.v

   1 `ifdef EXECUTE
   2         `INSN_HALT: begin
   3                 `EXEC_NEWCYCLE;
   4                 /* XXX Interrupts needed for HALT. */
   5         end
   6 `endif
   7
   8 `ifdef WRITEBACK
   9         `INSN_HALT: begin
  10                 /* Nothing needs happen here. */
  11                 /* XXX Interrupts needed for HALT. */
  12         end
  13 `endif