- // The unique debug rom address that this hart jumps to when entering debug
- // mode. Rely on the fact that spike hart IDs start at 0 and are consecutive.
- uint32_t debug_rom_entry() {
- fprintf(stderr, "Debug_rom_entry called for id %d = %x\n", id, DEBUG_ROM_ENTRY + 4*id);
- return DEBUG_ROM_ENTRY + 4 * id;
- }