Changes in kernel/genarch/src/kbrd/kbrd_at.c [5012203:63e27ef] in mainline

File:

• kernel/genarch/src/kbrd/kbrd_at.c (modified) (2 diffs)

kernel/genarch/src/kbrd/kbrd_at.c

@@ -35 +35 @@
  */
 
+#include <assert.h>
 #include <genarch/kbrd/kbrd.h>
 #include <genarch/kbrd/scanc.h>
@@ -192 +193 @@
 indev_t *kbrd_wire(kbrd_instance_t *instance, indev_t *sink)
 {
-        ASSERT(instance);
-        ASSERT(sink);
+        assert(instance);
+        assert(sink);
         
         instance->sink = sink;