1void decode_opic_address(int *);
2void sim_io_printf_filtered2 (int, unsigned);
3void
4hw_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
16