supply_register (regno++, (char *) &val);
regcache_raw_supply (current_regcache, regno++, (char *) &val);
get_hex_regs (int n, int regno){  long val;  int i;  for (i = 0; i < n; i++)    {      int j;      val = 0;      for (j = 0; j < 8; j++)	val = (val << 4) + get_hex_digit (j == 0);      supply_register (regno++, (char *) &val);    }}