* Initialize kernel table kt * * @param kt - pointer to kernel table * */

Remove a specific thread from mutex waiter list. */

Spinlock acquire using TTAS pattern with LDREX/STREX. * Test-and-Test-and-Set reduces bus traffic by spinning on plain load * (cache-friendly) befor

Initialize stack canary at bottom of stack. * Must be called after stack_base is set. */

* Update notify_pending flag based on current notify_bits. * Fast-path optimization: allows IPC path to skip notification checks * with single word

* Derived functions */

* Post asynchronous event to target thread. * * IRQ-SAFE: Uses irq_save_flags/irq_restore_flags for atomicity. * QUEUE-FULL: Silently drops event i

* Wake thread blocked on SYS_NOTIFY_WAIT with proper semantics. * * This function implements the full notification wake protocol: * 1. Check if thr

Spinlock acquire using TTAS pattern with LDREX/STREX. * Consistent with pthread.c spinlock implementation. */

* Initialize thread */

Clean up cancellation state when thread exits. * Uses UTCB address lookup from thread_ptr to find the entry. */

Some helper functions */ size value must be 2^k */

* Check if address is aligned to smallest fpage boundary. * Used to validate user-supplied addresses before processing. */

* Register device IO port objects */

* Insert chain of fpages into address space * @param first, last - fpage chain * @param as address space * * NOTE: Not checks if as and this chain

* notification_post_softirq - Direct softirq-safe notification delivery * @thr: target thread * @notify_bits: notification bits to signal * * Deli

Parse a test output line and update results. Returns True if [TEST:EXIT] was found.

Internal: Initialize mutex if using static initializer. * Uses global spinlock to prevent race between concurrent lazy inits. */

* Perform ARM semihosting call * For Cortex-M: Uses BKPT #0xAB instruction */

Check stack canary. Returns 1 if valid, 0 if corrupted. */

* Return the insertion point for @globalid in the sorted thread_map array. * The @count argument is the current number of valid entries, so the searc