These result in log messages such as:
(XEN) d0v0: vGICD: RAZ on reserved register offset 0x00000c
(XEN) d0v0: vGICR: write r2 offset 0x000180
(XEN) not found<G><3>traps.c:2417:d0v0 HSR=0x93820046 pc=0xffffffc000322bfc gva=0xffffff8000090180 gpa=0x0000008d110180
Fix this by rewording without a \n in the middle. Also add one at the end.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Reviewed-by: Julien Grall <julien.grall@citrix.com>
goto read_as_zero_32;
default:
printk(XENLOG_G_ERR
- "%pv: vGICR: read r%d offset %#08x\n not found",
+ "%pv: vGICR: unhandled read r%d offset %#08x\n",
v, dabt.reg, gicr_reg);
return 0;
}
/* RO */
goto write_ignore_32;
default:
- printk(XENLOG_G_ERR "%pv: vGICR: write r%d offset %#08x\n not found",
+ printk(XENLOG_G_ERR "%pv: vGICR: unhandled write r%d offset %#08x\n",
v, dabt.reg, gicr_reg);
return 0;
}
default:
printk(XENLOG_G_ERR
- "%pv: vGICR: SGI: read r%d offset %#08x\n not found",
+ "%pv: vGICR: SGI: unhandled read r%d offset %#08x\n",
v, dabt.reg, gicr_reg);
return 0;
}
goto write_ignore_32;
default:
printk(XENLOG_G_ERR
- "%pv: vGICR: SGI: write r%d offset %#08x\n not found",
+ "%pv: vGICR: SGI: unhandled write r%d offset %#08x\n",
v, dabt.reg, gicr_reg);
return 0;
}