Searched refs:deprecated_registers_fetched (Results 1 – 3 of 3) sorted by relevance
188 extern void deprecated_registers_fetched (void);
524 deprecated_registers_fetched (); in get_core_registers()
484 deprecated_registers_fetched (void) in deprecated_registers_fetched() function