i8042_clear_buffer 128 kernel/genarch/src/drivers/i8042/i8042.c i8042_clear_buffer(instance->i8042); i8042_clear_buffer 138 kernel/genarch/src/drivers/i8042/i8042.c i8042_clear_buffer(dev);