else
switch (REGISTER_SIM_REGNO (regno))
gdbsim_fetch_register (regno)int regno;{  if (regno == -1)     {      for (regno = 0; regno < NUM_REGS; regno++)	gdbsim_fetch_register (regno);    }  else    {      char buf[MAX_REGISTER_RAW_SIZE];      sim_fetch_register (regno, buf);      supply_register (regno, buf);      if (sr_get_debug ())	{	  printf_filtered ("gdbsim_fetch_register: %d", regno);	  /* FIXME: We could print something more intelligible.  */	  dump_mem (buf, REGISTER_RAW_SIZE (regno));	}    }}