Module hal 

Module generated by trait-ffi.

Functions

boot_region_by_index

cpu_context_set_pc^⚠

Safety

cpu_context_set_sp^⚠

Safety

cpu_context_size

cpu_context_sp^⚠

Safety

cpu_context_switch^⚠

Safety

cpu_id

dcache_range

debug_put

driver_registers

get_current_tcb_addr^⚠

Safety

irq_ack

irq_all_disable

irq_all_enable

irq_all_is_enabled

irq_disable

irq_enable

irq_eoi

irq_init_current_cpu

kstack_size

trait-ffi generated.

set_current_tcb_addr^⚠

Safety

shutdown

wait_for_interrupt