]>
Commit | Line | Data |
---|---|---|
81358c71 JW |
1 | `ifdef EXECUTE |
2 | `INSN_HALT: begin | |
5c33c5c0 | 3 | `EXEC_NEWCYCLE |
81358c71 JW |
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 |