9         output reg [31:0] cp_read = 0,
 
  10         input [31:0] cp_write);
 
  12         /* Terminal pretends to be cp5. */
 
  22                 if (cp_req && (cp_rnw == 0) && (cp_insn[27:24] == 4'b1110) && (cp_insn[19:16] == 4'b0000) && (cp_insn[11:8] == 4'h5))
 
  32                         $c("{extern void term_output(unsigned char d); term_output(",data,");}");