/* Function: get_saved_register
Just call the generic_get_saved_register function. */
+#ifdef USE_GENERIC_DUMMY_FRAMES
void
get_saved_register (raw_buffer, optimized, addrp, frame, regnum, lval)
char *raw_buffer;
generic_get_saved_register (raw_buffer, optimized, addrp,
frame, regnum, lval);
}
+#endif
void