On 08/17/2017 11:04 AM, Alex Bennée wrote:
> -static const char *regnames[] = {
> +static const char *x_regnames[] = {
> "x0", "x1", "x2", "x3", "x4", "x5", "x6", "x7",
> "x8", "x9", "x10", "x11", "x12", "x13", "x14", "x15",
> "x16", "x17", "x18", "x19", "x20", "x21", "x22", "x23",Mis-patch? There should be uses of this array to be renamed too. r~
