550W Document
550W, a high-end OS
|
类型定义 | |
typedef void(* | kernel_entry_t) (unsigned long, uintptr_t) |
函数 | |
uintptr_t | directmap (uintptr_t kva, uintptr_t pgdir) |
int | prepare_vm (unsigned long mhartid, uintptr_t riscv_dtb) |
变量 | |
unsigned char | _elf_main [] |
unsigned | _length_main |
typedef void(* kernel_entry_t) (unsigned long, uintptr_t) |
int prepare_vm | ( | unsigned long | mhartid, |
uintptr_t | riscv_dtb | ||
) |
|
extern |
|
extern |