Here is a list of all documented functions with links to the documentation:

A

B

C

D

E

F

H

I

M

O

Q

R

S

T

U

V

X

_

- _ -

• __cheriot_compartment() : randombytes.h
• __if_c() : platform-time.h, timeout.h

- a -

• allocator_permissions() : allocator.h
• allocator_permissions_and() : allocator.h

- b -

• barrier_timed_wait() : locks.h
• barrier_wait() : locks.h

- c -

• check_pointer() : cheri.h
• check_timeout_pointer() : timeout.h
• CHERI_SEALED() : interrupt.h, multiwaiter.h, queue.h
• cleanup_list_head() : unwind.h
• cleanup_unwind() : unwind.h
• condition_variable_notify() : locks.h
• condition_variable_wait() : locks.h

- d -

• debug_enum_helper() : debug.hh
• debug_log_message_write() : debug.hh

- e -

• eventgroup_clear() : event.h
• eventgroup_create() : event.h
• eventgroup_destroy() : event.h
• eventgroup_destroy_force() : event.h
• eventgroup_get() : event.h
• eventgroup_set() : event.h
• eventgroup_wait() : event.h

- f -

• flaglock_lock() : locks.h
• flaglock_priority_inheriting_get_owner_thread_id() : locks.h
• flaglock_priority_inheriting_lock() : locks.h
• flaglock_priority_inheriting_trylock() : locks.h
• flaglock_trylock() : locks.h
• flaglock_unlock() : locks.h
• flaglock_upgrade_for_destruction() : locks.h
• futex_timed_wait() : futex.h
• futex_wait() : futex.h
• futex_wake() : futex.h

- h -

• heap_available() : allocator.h
• heap_can_free() : allocator.h
• heap_claim() : allocator.h
• heap_claim_ephemeral() : allocator.h
• heap_free_all() : allocator.h
• heap_quarantine_empty() : allocator.h
• heap_quarantine_flush() : allocator.h
• heap_quota_remaining() : allocator.h
• heap_render() : allocator.h

- i -

• interrupt_complete() : interrupt.h
• interrupt_futex_get() : interrupt.h
• invocation_state() : thread.h
• invocation_state_slot() : thread.h
• isalpha() : ctype.h
• isascii() : ctype.h
• isdigit() : ctype.h
• islower() : ctype.h
• isprint() : ctype.h
• isspace() : ctype.h
• isupper() : ctype.h
• isxdigit() : ctype.h

- m -

• make_debug_arguments_list() : debug.hh
• map_debug_argument() : debug.hh
• multiwaiter_create() : multiwaiter.h
• multiwaiter_delete() : multiwaiter.h
• multiwaiter_queue_receive_init() : queue.h
• multiwaiter_queue_receive_init_sealed() : queue.h
• multiwaiter_queue_send_init() : queue.h
• multiwaiter_queue_send_init_sealed() : queue.h
• multiwaiter_wait() : multiwaiter.h
• mvm_int_to_string_helper() : microvium_port.h

- o -

• on_error() : unwind.h

- q -

• queue_allocation_size() : queue.h
• queue_create() : queue.h
• queue_create_sealed() : queue.h
• queue_destroy() : queue.h
• queue_destroy_sealed() : queue.h
• queue_items_remaining() : queue.h
• queue_items_remaining_sealed() : queue.h
• queue_permissions() : queue.h
• queue_receive() : queue.h
• queue_receive_handle_create_sealed() : queue.h
• queue_receive_multiple() : queue.h
• queue_receive_multiple_sealed() : queue.h
• queue_receive_sealed() : queue.h
• queue_reset() : queue.h
• queue_send() : queue.h
• queue_send_handle_create_sealed() : queue.h
• queue_send_multiple() : queue.h
• queue_send_multiple_sealed() : queue.h
• queue_send_sealed() : queue.h
• queue_stop() : queue.h

- r -

• recursivemutex_trylock() : locks.h
• recursivemutex_unlock() : locks.h
• run_once() : locks.h

- s -

• semaphore_get() : locks.h
• semaphore_put() : locks.h
• stack_lowest_used_address() : switcher.h
• switcher_handler_invocation_count_reset() : switcher.h
• switcher_recover_stack() : switcher.h
• switcher_thread_hazard_slots() : switcher.h

- t -

• taskENTER_CRITICAL() : task.h
• taskEXIT_CRITICAL() : task.h
• thread_count() : thread.h
• thread_elapsed_cycles_current() : thread.h
• thread_elapsed_cycles_idle() : thread.h
• thread_id_get() : thread.h
• thread_microsecond_spin() : thread.h
• thread_millisecond_wait() : thread.h
• thread_pool_async() : thread_pool.h
• thread_pool_run() : thread_pool.h
• thread_sleep() : thread.h
• ticketlock_lock() : locks.h
• ticketlock_unlock() : locks.h
• timeout_elapse() : timeout.h
• timeout_has_expired() : timeout.h
• timeout_is_valid() : timeout.h
• token_allocate() : token.h
• token_key_new() : token.h
• token_obj_can_destroy() : token.h
• token_obj_destroy() : token.h
• token_obj_unseal() : token.h
• token_obj_unseal_dynamic() : token.h
• token_obj_unseal_static() : token.h
• token_permissions_and() : token.h
• token_permissions_get() : token.h
• token_sealed_alloc() : token.h
• token_sealed_unsealed_alloc() : token.h
• token_unseal() : token.h
• tolower() : ctype.h
• toupper() : ctype.h
• trusted_stack_has_space() : switcher.h

- u -

• uxQueueMessagesWaiting() : queue.h
• uxSemaphoreGetCount() : semphr.h

- v -

• vEventGroupDelete() : event_groups.h
• vQueueDelete() : queue.h
• vSemaphoreDelete() : semphr.h
• vStreamBufferDelete() : stream_buffer.h
• vTaskDelay() : task.h
• vTaskResumeAll() : task.h
• vTaskSetTimeOutState() : task.h
• vTaskSuspendAll() : task.h

- x -

• xEventGroupCreate() : event_groups.h
• xEventGroupSetBits() : event_groups.h
• xEventGroupWaitBits() : event_groups.h
• xQueueCreate() : queue.h
• xQueueReceive() : queue.h
• xQueueSendToBack() : queue.h
• xQueueSendToBackFromISR() : queue.h
• xSemaphoreCreateBinary() : semphr.h
• xSemaphoreCreateBinaryStatic() : semphr.h
• xSemaphoreCreateCounting() : semphr.h
• xSemaphoreCreateCountingStatic() : semphr.h
• xSemaphoreCreateMutex() : semphr.h
• xSemaphoreCreateMutexStatic() : semphr.h
• xSemaphoreCreateRecursiveMutex() : semphr.h
• xSemaphoreCreateRecursiveMutexStatic() : semphr.h
• xSemaphoreGetMutexHolder() : semphr.h
• xSemaphoreGetStaticBuffer() : semphr.h
• xSemaphoreGive() : semphr.h
• xSemaphoreGiveFromISR() : semphr.h
• xSemaphoreGiveRecursive() : semphr.h
• xSemaphoreTake() : semphr.h
• xSemaphoreTakeFromISR() : semphr.h
• xSemaphoreTakeRecursive() : semphr.h
• xStreamBufferBytesAvailable() : stream_buffer.h
• xStreamBufferCreate() : stream_buffer.h
• xStreamBufferIsEmpty() : stream_buffer.h
• xStreamBufferIsFull() : stream_buffer.h
• xStreamBufferReceive() : stream_buffer.h
• xStreamBufferReset() : stream_buffer.h
• xStreamBufferResetFromISR() : stream_buffer.h
• xStreamBufferSend() : stream_buffer.h
• xStreamBufferSetTriggerLevel() : stream_buffer.h
• xStreamBufferSpacesAvailable() : stream_buffer.h
• xTaskCheckForTimeOut() : task.h
• xTaskGetCurrentTaskHandle() : task.h
• xTaskGetTickCount() : task.h
• xTaskResumeAll() : task.h