rem: set_leds((led_info *)buf);
add: { led_info info; if (user_memcpy(&info, buffer, sizeof(led_info)) < B_OK) return B_BAD_ADDRESS;
context: keyboard_ioctl(void *cookie, uint32 op, void *buf, size_t len){	TRACE(("keyboard ioctl()\n"));	switch (op) {		case KB_READ:			TRACE(("KB_READ\n"));			return read_keyboard_packet((at_kbd_io *)buf);		case KB_SET_LEDS:			set_leds((led_info *)buf);			TRACE(("KB_SET_LEDS\n"));			return B_OK;		case KB_SET_KEY_REPEATING:		case KB_SET_KEY_NONREPEATING:			TRACE(("ioctl 0x%x not implemented yet, returning B_OK\n", op));			return B_OK;		default:			TRACE(("invalid ioctl 0x%x\n", op));			return EINVAL;	}}