atkbdc_device_t
atkbdc_device_t *ivar;
ivar = (atkbdc_device_t *)device_get_ivars(dev);
atkbdc_device_t *ivar;
ivar = (atkbdc_device_t *)device_get_ivars(dev);
atkbdc_device_t *kbdcdev;
kbdcdev = (atkbdc_device_t *)device_get_ivars(dev);
atkbdc_device_t *ivar;
ivar = (atkbdc_device_t *)device_get_ivars(dev);
atkbdc_device_t *ivar;