#include <unistd.h>

void dump_regs(uint32_t addr){

}