* tuiRegs.c (_tuiRegisterFormat): Use gdbarch_print_registers_info.
This page took 0.065849 seconds and 3 git commands to generate.