arch.h

Go to the documentation of this file.

 
#pragma once
 
#include <cpu_io.h>
#include <sys/cdefs.h>
 
#include <cstddef>
#include <cstdint>
 
// 在 switch.S 中定义
extern "C" auto switch_to(cpu_io::CalleeSavedContext* prev,
                          cpu_io::CalleeSavedContext* next) -> void;
 
// 在 switch.S 中定义
extern "C" auto kernel_thread_entry() -> void;
 
// 在 switch.S 中定义
extern "C" auto trap_return(void*) -> void;
 
// 在 interrupt.S 中定义
extern "C" auto trap_entry() -> void;
 
auto ArchInit(int argc, const char** argv) -> void;
auto ArchInitSMP(int argc, const char** argv) -> void;
 
auto WakeUpOtherCores() -> void;
 
auto InterruptInit(int argc, const char** argv) -> void;
auto InterruptInitSMP(int argc, const char** argv) -> void;
auto TimerInit() -> void;
auto TimerInitSMP() -> void;
 
auto InitTaskContext(cpu_io::CalleeSavedContext* task_context,
                     void (*entry)(void*), void* arg, uint64_t stack_top)
    -> void;
 
auto InitTaskContext(cpu_io::CalleeSavedContext* task_context,
                     cpu_io::TrapContext* trap_context_ptr, uint64_t stack_top)
    -> void;
 
static constexpr size_t kMaxFrameCount = 128;
 
__always_inline auto backtrace(void** buffer, int size) -> int;
 
auto DumpStack() -> void;