For easier cross-references, I sent a patch fixing casting (and it turns out also taking a minsym's address) for review at: https://www.sourceware.org/ml/gdb-patches/2017-11/msg00331.html -- Joel