Changes in kernel/generic/src/console/console.c [5e904dd:e90cfa6] 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 */
@@ -64 +65 @@
 
 /** Kernel log initialized */
-static atomic_t kio_inited = { false };
+static atomic_bool kio_inited = false;
 
 /** First kernel log characters */
@@ -202 +203 @@
 
         event_set_unmask_callback(EVENT_KIO, kio_update);
-        atomic_set(&kio_inited, true);
+        atomic_store(&kio_inited, true);
 }
 
@@ -292 +293 @@
 void kio_update(void *event)
 {
-        if (!atomic_get(&kio_inited))
+        if (!atomic_load(&kio_inited))
                 return;