x86/monitor: Fixed CID 1412966: Memory - corruptions (OVERRUN)
authorRazvan Cojocaru <rcojocaru@bitdefender.com>
Wed, 21 Jun 2017 16:37:31 +0000 (19:37 +0300)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 23 Jun 2017 14:00:37 +0000 (15:00 +0100)
commitb20f8cd11fbfc6e40a00b63e3c2d53549221def0
tree540ddef8ea5bb380537ed8336d5c71f933b2c6f1
parenta15516c0cf21d7ac84799f1e2e500b0bb22d2300
x86/monitor: Fixed CID 1412966: Memory - corruptions (OVERRUN)

Fixed an issue where the maximum index allowed (31) goes beyond the
actual number of array elements (4) of ad->monitor.write_ctrlreg_mask.
Coverity-ID: 1412966

Signed-off-by: Razvan Cojocaru <rcojocaru@bitdefender.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/monitor.c