Changes in kernel/genarch/src/drivers/i8042/i8042.c [137691a:c2417bc] in mainline

File:

• kernel/genarch/src/drivers/i8042/i8042.c (modified) (1 diff)

kernel/genarch/src/drivers/i8042/i8042.c

@@ -67 +67 @@
         i8042_instance_t *instance = irq->instance;
         i8042_t *dev = instance->i8042;
+        uint8_t status;
         
-        if (pio_read_8(&dev->status) & i8042_BUFFER_FULL_MASK) {
+        if (((status = pio_read_8(&dev->status)) & i8042_BUFFER_FULL_MASK)) {
                 uint8_t data = pio_read_8(&dev->data);
                 indev_push_character(instance->kbrdin, data);