I am trying to write ioctl functions for keyboard for TC
Alphas. I think that the definitions of WSKBDIO_SETLEDS
and WSKBDIO_GETLEDS are wrong. In sys/dev/wscons/wsconsio.h, 
they are defined as follows:

#define WSKBDIO_SETLEDS         _IOR('W', 11, int)
#define WSKBDIO_GETLEDS         _IOW('W', 12, int)

I think they should be follows:

#define WSKBDIO_SETLEDS         _IOW('W', 11, int)
#define WSKBDIO_GETLEDS         _IOR('W', 12, int)

Right? 

Takuya