| CLK_gethtime | get high-resolution time |
| CLK_getltime | get low-resolution time |
| HST_getpipe | get corresponding pipe object |
| HWI_disable | globally disable hardware interrupts |
| HWI_enable | globally enable hardware interrupts |
| HWI_enter | hardware interrupt service routine prologue |
| HWI_exit | hardware interrupt service routine epilogue |
| IDL_run | execute one pass through the idle loop |
| LOG_printf | append a formatted message to an event log |
| LOG_event | append an unformatted message to an event log |
| PIP_alloc | dequeue an empty frame from the tail of a pipe |
| PIP_free | enqueue an empty frame at the head of a pipe |
| PIP_get | dequeue a full frame from the head of a pipe |
| PIP_put | enqueue a full frame at the tail of a pipe |
| PRD_getticks | get the current tick counter |
| PRD_star | arm a periodic function for one-time execution |
| PRD_tick | advance the tick counter and dispatch periodic functions |
| SWI_andn | clear bit(s) in a signal mailbox and post if 0 |
| SWI_dec | decrement a signal mailbox and post if 0 |
| SWI_disable | globally disable signal preemption |
| SWI_enable | globally enable signal preemption |
| SWI_getmbox | return a signal mailbox while resetting its value |
| SWI_inc | increment a signal mailbox and unconditionally post |
| SWI_or | set bit(s) in a signal mailbox and unconditionally post |
| SWI_post | post a signal for subsequent execution |
| SWI_self | return the currently executing signal object |
| STS_add | add a value to a statistics accumulator |
| STS_delta | add the computed value of an interval to a statistics accumulator |
| STS_set | store the initial value of an interval in a statistics accumulator |
| TRC_disable | disable a set of trace controls |
| TRC_enable | enable a set of trace controls |
| TRC_query | test whether a set of trace controls is enabled |
