Searched refs:deprecated_registers_fetched (Results 1 – 7 of 7) sorted by relevance
122 deprecated_registers_fetched (); in vx_read_register()
152 deprecated_registers_fetched (); in vx_read_register()
39 deprecated_registers_fetched (); in fetch_inferior_registers()
236 extern void deprecated_registers_fetched (void);
81 deprecated_registers_fetched (); in fetch_inferior_registers()
511 deprecated_registers_fetched (); in get_core_registers()
614 deprecated_registers_fetched (void) in deprecated_registers_fetched() function