print_gp_register
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register(name, frame->tf_x[reg]);
print_gp_register(" lr", frame->tf_lr);
print_gp_register("elr", frame->tf_elr);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
print_gp_register("far", far);
static void print_gp_register(const char *name, uint64_t value);
print_gp_register("far", far);
print_gp_register("far", far);