Flavio Cruz, on Tue 29 Dec 2015 17:35:00 +0100, wrote: > @@ -663,10 +663,11 @@ update_leds (void) > | (led_state.num_lock ? 2 : 0) > | (led_state.caps_lock ? 4 : 0); > > - err = device_write_inband (kbd_dev, 0, -1, (void *) leds, 2, > &data_cnt); > + err = device_write_inband (kbd_dev, 0, -1, (void *) leds, 2, > + (int *) &data_cnt); > if (!err && data_cnt == 1) > err = device_write_inband (kbd_dev, 0, -1, (void *) &leds[1], 1, > - &data_cnt); > + (int *) &data_cnt); > } > } >
I'm surprised: if the device_write_inband RPC really wants an int*, why not making data_cnt an int? Samuel
