boot.h (447B)
1 #pragma once 2 3 #ifndef __ASSEMBLY__ 4 5 #include <stdint.h> 6 7 // entry.S 8 void mach_exception_entry(void); 9 void exit_mode_m(uint32_t a0, uint32_t a1, uint32_t pc, uint32_t sp); 10 11 // console.c 12 void console_line(char *line); 13 14 // helpers.S 15 uint32_t rd8safe(uint32_t addr); 16 uint32_t rd16safe(uint32_t addr); 17 uint32_t rd32safe(uint32_t addr); 18 void console_call_cmd(void *cmdfn, uintptr_t a1, uintptr_t a2, uintptr_t a3, uintptr_t a4, uint32_t argc); 19 20 #endif 21