550W Document
550W, a high-end OS
|
#include <asm/privileged.h>
#include <asm/sbi.h>
#include <os/irq.h>
#include <os/lock.h>
#include <os/pcb.h>
#include <os/smp.h>
函数 | |
void | k_smp_init () |
void | k_smp_wakeup_other_hart () |
void | kernel_exception_handler_entry () |
void | k_smp_lock_kernel () |
void | k_smp_unlock_kernel () |
pcb_t *volatile * | k_smp_get_current_running () |
变量 | |
spin_lock_t | kernel_lock |
pcb_t* volatile* k_smp_get_current_running | ( | ) |
void k_smp_init | ( | ) |
void k_smp_lock_kernel | ( | ) |
void k_smp_unlock_kernel | ( | ) |
void k_smp_wakeup_other_hart | ( | ) |
void kernel_exception_handler_entry | ( | ) |
spin_lock_t kernel_lock |