Release signal state slot when thread exits. * Called from pthread_exit() or thread cleanup. */

Always returns 0; fastpath and slowpath both use PendSV for context switching */

Add a pending early cancel for a pthread_t* (when child hasn't registered). * Returns 0 on success, EAGAIN if table is full. */

Add thread to wait queue for a resource */

* Free all fpages and the address space structure. * Called by as_put() when refcount reaches 0. * Caller must hold IRQs disabled. */

* Increment address space reference count. * Called when a thread shares an existing address space. */

* Decrement address space reference count. * Frees the address space when refcount reaches 0. * IRQs remain disabled through as_destroy() to prevent

Check and consume pending early cancel for a pthread_t* */

* Initialization procedure for debug IO port */

* Do the preparing before entering panic. Previous characters in * debug queue must be flushed out first. */

Deliver signal to a specific thread atomically under lock. * Prevents use-after-free by holding lock during find + write. * Creates entry for thread

* Detect FPB hardware availability and count comparators. * Returns number of code comparators if FPB is present, 0 otherwise. * * Detection method

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

accessor functions */

accessor functions */