KBD_AUX_CONTROL_BITS
c & (KBD_KBD_CONTROL_BITS | KBD_AUX_CONTROL_BITS))) {
? 0 : KBD_KBD_CONTROL_BITS) | KBD_AUX_CONTROL_BITS);
mask = kbdc_get_device_mask(sc->kbdc) & ~KBD_AUX_CONTROL_BITS;
KBD_KBD_CONTROL_BITS | KBD_AUX_CONTROL_BITS,
KBD_KBD_CONTROL_BITS | KBD_AUX_CONTROL_BITS,
kbdc_set_device_mask(sc->kbdc, mask | KBD_AUX_CONTROL_BITS);
c & (KBD_KBD_CONTROL_BITS | KBD_AUX_CONTROL_BITS))) {