1  void decode_opic_address(int *);
       2  void sim_io_printf_filtered2 (int, unsigned);
       3  void
       4  hw_opic_io_read_buffer(int index)
       5  {
       6    unsigned reg = 0;
       7    decode_opic_address(&index);
       8    switch (index)
       9      {
      10        case 0:
      11  	  reg = 1;
      12      }
      13    sim_io_printf_filtered2 (index, reg);
      14  }
      15