Changeset 7c5320c in mainline for kernel/generic/src/main/main.c

Timestamp:

2023-02-07T16:03:05Z (2 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

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

Children:

1eaead4

Parents:

5110d0a

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2023-02-07 15:59:26)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2023-02-07 16:03:05)

Message:

Use the semaphore interface instead of waitq in some places

Since we already have an underused semaphore API in the kernel,
it would be worthwhile to use it in places where the baseline
semaphore semantics are needed. It makes the function of the
calls obvious even to people unfamiliar with the details of
waitq API.

File:

• kernel/generic/src/main/main.c (modified) (1 diff)

kernel/generic/src/main/main.c

@@ -383 +383 @@
         timeout_init();
 
-        waitq_wakeup(&ap_completion_wq, WAKEUP_FIRST);
+        semaphore_up(&ap_completion_semaphore);
         scheduler();
         /* not reached */