static void exec_traceback(const char* args, context_t* ctx, debug_t* dbg) { uint16_t value; (void)args; (void)dbg; context_reset_traceback(ctx); while (context_get_traceback(ctx, &value)) { debug_print_addr(ctx, value); } }
static void jump_to_IPL_2(void) { ResetInfo *current = 0; void (*ipl)(void) = (void *) (uint64_t) current->ipl_continue; debug_print_addr("set IPL addr to", ipl); /* Ensure the guest output starts fresh */ sclp_print("\n"); *current = save; ipl(); /* should not return */ }