void k_smp_init()
Definition: smp.c:10
spin_lock_t kernel_lock
Definition: smp.c:8
pcb_t *volatile * k_smp_get_current_running()
Definition: smp.c:35
void k_smp_unlock_kernel()
Definition: smp.c:31
void k_smp_lock_kernel()
Definition: smp.c:21
uint64_t k_smp_get_current_cpu_id()
void k_smp_wakeup_other_hart()
Definition: smp.c:14