Convert absolute timespec deadline to relative ticks. * POSIX specifies abstime as an absolute deadline (e.g., from clock_gettime). * We compute: re

Atomic ops */

* Perform a binary search. * * The code below is a bit sneaky. After a comparison fails, we * divide the work in half by moving either left or rig

Build a QEMU command line for the selected machine. For semihosting boards, wraps QEMU in script(1) to provide a PTY. Without a PTY, semihost

* Clear all waiter slots in a notification mask. * Uses L4_NILTHREAD (not NULL) for empty thread ID slots. * MUST be called with IRQs disabled. */

* Count leading zeros using Cortex-M CLZ instruction. * Returns 32 if input is 0. * * Note: __builtin_clz has undefined behavior for 0, but ARM CLZ

Add current thread to condvar waiter list. Returns 0 on success, -1 if full. */

Pop first waiter from condvar list. Returns nilthread if list empty. */

Remove a specific thread from condvar waiter list. */

* Receive a character from debug port */

* Send a character to debug port */

Detect QEMU machine type from ELF path. ELF paths contain the board name: build/<board>/f9.elf Args: elf_path: Path to the ELF

* Returns the number of program segments in this elf file. */

Returns a pointer to the program segment table, which is an array of * ELF32_Phdr_t structs. The size of the array can be found by calling * getNum

Program Headers Access functions */

* Free a chain of fpages * @param first - first fpage in chain (may be NULL) */

Get current thread's pthread_t* (uses UTCB address as key) */

* Get current cycle count from DWT_CYCCNT. * Returns 0 if DWT is not enabled. */

Get UTCB address for a pthread_t* (reverse lookup in thread_ptr_table) */

* ipc_fastpath_helper() - Fastpath IPC implementation (C helper) * @caller: Current thread attempting IPC * @svc_param: SVC stack frame (R0-R3, R12,

Add current thread to mutex waiter list. Returns 0 on success, -1 if full. */

* Remove fpage from address space * @param fp fpage * @param as address space * * If fpage is not exist in as fpages list, does nothing */

* Write one character via semihosting */

Set pending cancellation for a thread (called by pthread_cancel). * Uses UTCB address as key. * Returns: * 0 - Success * ESRCH - Thread

Set file descriptor to non-blocking mode.

* sorting time is O(n log n) both on average and worst-case. * * Typically, qsort is faster on average, but it suffers from exploitable * O(n*n) wo

Skip test with reason */

Convert timespec to microseconds (32-bit arithmetic, no libgcc). */

Unregister pthread_t* (called on thread exit) */

* Check if waiter's condition is satisfied by current flags. * * @param current_flags Current flag state * @param waiter_mask Flags the waiter

Remove a specific thread from waiter list. Returns 0 on success. * Must be called with waiters_lock held. */