On 2/19/19 4:58 AM, Peter Maydell wrote: > The iotkit-sysctl device has a register it names INITSVRTOR0. > This is actually a typo present in the IoTKit documentation > and also in part of the SSE-200 documentation: it should be > INITSVTOR0 because it is specifying the initial value of the > Secure VTOR register in the CPU. Correct the typo. > > Signed-off-by: Peter Maydell <[email protected]> > --- > include/hw/misc/iotkit-sysctl.h | 2 +- > hw/misc/iotkit-sysctl.c | 16 ++++++++-------- > 2 files changed, 9 insertions(+), 9 deletions(-)
Reviewed-by: Richard Henderson <[email protected]> r~
