Changes in kernel/generic/src/console/console.c [e90cfa6:5e904dd] in mainline

File:

• kernel/generic/src/console/console.c (modified) (4 diffs)

kernel/generic/src/console/console.c

@@ -53 +53 @@
 #include <errno.h>
 #include <str.h>
-#include <stdatomic.h>
 #include <abi/kio.h>
 #include <mm/frame.h> /* SIZE2FRAMES */
@@ -65 +64 @@
 
 /** Kernel log initialized */
-static atomic_bool kio_inited = false;
+static atomic_t kio_inited = { false };
 
 /** First kernel log characters */
@@ -203 +202 @@
 
         event_set_unmask_callback(EVENT_KIO, kio_update);
-        atomic_store(&kio_inited, true);
+        atomic_set(&kio_inited, true);
 }
 
@@ -293 +292 @@
 void kio_update(void *event)
 {
-        if (!atomic_load(&kio_inited))
+        if (!atomic_get(&kio_inited))
                 return;