* Compute the position of the lowest set bit (trailing zeros). * This determines the alignment of an address for fpage sizing. * Returns the shift v

* Compute floor(log2(size)) - the position of the highest set bit. * Returns the largest shift such that (1 << shift) <= size. * Used to determine t

* Insert single fpage into address space * @param fpage fpage * @param as address space * * NOTE: Not checks if as and this chain overlapping */

* ipc_fastpath_copy_mrs() - Copy message registers to receiver * @saved_mrs: Saved message registers R4-R11 (MR0-MR7) * @sender: Source thread (for

* irq_handler_notify - Fast notification delivery for simple IRQs * @uirq: user IRQ descriptor * * Delivers IRQ event via notification system inste

* Push n to irq queue. * Select the first one in queue to run. */

* Gets index of element by it's pointer * * @param kt - pointer to kernel table * @param element - pointer to table's element * * @result * -1

Get current kernel time in ticks since boot. * Returns 64-bit monotonically increasing tick count. * Used by SYS_SYSTEM_CLOCK syscall for userspace

* Get a best-effort atomic snapshot of latency statistics for a priority. * * Uses only relaxed atomics (single-core). We retry if count changes dur

* Record latency sample for an interrupt. * * CRITICAL: This function is called from ISRs, including zero-latency ISRs * (priority 0x0-0x2). It MUS

* Reset all latency statistics. */

Align base address down to fpage boundary (for region start) */

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

* Get number of pending async events in queue. * O(1) operation using maintained counter (prevents unbounded IRQ latency). * NOTE: Snapshot value, m

Find and remove first waiter for a resource */

Thread attribute functions */