kbdc_get_device_mask
m = kbdc_get_device_mask(kbdc) & ~KBD_KBD_CONTROL_BITS;
kbdc_get_device_mask(kbdc),
if (!set_controller_command_byte(kbdc, kbdc_get_device_mask(kbdc),
int kbdc_get_device_mask(KBDC kbdc);
kbdc_get_device_mask(sc->kbdc),
kbdc_get_device_mask(sc->kbdc),
kbdc_get_device_mask(sc->kbdc),
mask = kbdc_get_device_mask(sc->kbdc) & ~KBD_AUX_CONTROL_BITS;
kbdc_get_device_mask(sc->kbdc),
kbdc_get_device_mask(sc->kbdc),
kbdc_get_device_mask(sc->kbdc),
kbdc_get_device_mask(sc->kbdc),
kbdc_get_device_mask(sc->kbdc),