I8042_CTR_AUXINT
i8042_ctr &= ~(I8042_CTR_KBDINT | I8042_CTR_AUXINT);
i8042_ctr &= ~(I8042_CTR_AUXINT | I8042_CTR_KBDINT);
irq_bit = I8042_CTR_AUXINT;
i8042_ctr |= I8042_CTR_AUXINT;
i8042_ctr &= ~I8042_CTR_AUXINT;
i8042_ctr &= ~I8042_CTR_AUXINT;
i8042_ctr &= ~I8042_CTR_AUXINT;