Searched refs:gdb_nm_file (Results 1 – 1 of 1) sorted by relevance
541 const char *gdb_nm_file = "<not-defined>"; in gdbarch_dump() local544 gdb_nm_file = GDB_NM_FILE; in gdbarch_dump()548 gdb_nm_file); in gdbarch_dump()