- {
- error ("Register %s not available",
- gdbarch_register_name (gdbarch, regnum));
- }
+ return frame_unwind_got_optimized (this_frame, regnum);
+}
+
+struct value *
+trad_frame_get_register (struct trad_frame_cache *this_trad_cache,
+ struct frame_info *this_frame,
+ int regnum)
+{
+ return trad_frame_get_prev_register (this_frame, this_trad_cache->prev_regs,
+ regnum);
+}
+
+void
+trad_frame_set_id (struct trad_frame_cache *this_trad_cache,
+ struct frame_id this_id)
+{
+ this_trad_cache->this_id = this_id;
+}
+
+void
+trad_frame_get_id (struct trad_frame_cache *this_trad_cache,
+ struct frame_id *this_id)
+{
+ (*this_id) = this_trad_cache->this_id;
+}
+
+void
+trad_frame_set_this_base (struct trad_frame_cache *this_trad_cache,
+ CORE_ADDR this_base)
+{
+ this_trad_cache->this_base = this_base;
+}
+
+CORE_ADDR
+trad_frame_get_this_base (struct trad_frame_cache *this_trad_cache)
+{
+ return this_trad_cache->this_base;