Changeset 63e27ef in mainline for kernel/generic/src/main/kinit.c

Timestamp:

2017-06-19T21:47:42Z (8 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

deacc58d

Parents:

7354b5e

Message:

ASSERT → assert

File:

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

kernel/generic/src/main/kinit.c

@@ -42 +42 @@
  */
 
+#include <assert.h>
 #include <main/kinit.h>
 #include <config.h>
@@ -67 +68 @@
 #include <lib/rd.h>
 #include <ipc/ipc.h>
-#include <debug.h>
 #include <str.h>
 #include <sysinfo/stats.h>
@@ -240 +240 @@
                         name = "<unknown>";
                 
-                STATIC_ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
+                static_assert(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN, "");
                 str_cpy(namebuf, TASK_NAME_BUFLEN, INIT_PREFIX);
                 str_cpy(namebuf + INIT_PREFIX_LEN,
@@ -251 +251 @@
                     init.tasks[i].size,
                     PAGE_READ | PAGE_WRITE | PAGE_CACHEABLE);
-                ASSERT(page);
+                assert(page);
                 
                 int rc = program_create_from_image((void *) page, namebuf,