19 "bkpt 0x00ab" : :
"r"(
args) :
"r0",
"r1",
"memory");
20 asm(
"mov r12, %0\n" "mov r0, #24\n" "bkpt 0x00ab" : :
"r"(0xDEADBEEF) :
"r0");
38 *(
const void**)0xE000ED08 = g_vector_table;
41 "bx %1" : :
"r" (g_vector_table[0]),
42 "r" (g_vector_table[1]) :
"memory");
should_inline __attribute__((__noreturn__)) void syscall_exit(u32 exit_code)
void section(".ramboot")))
void *const g_vector_table[16] __attribute__((section(".isr_vector")))
static void HardFaultHandler()
void ramboot() __attribute__((noreturn