Fix IA32_MISCENABLE disabling of PEBS
authorGan Shun <ganshun@gmail.com>
Wed, 26 Oct 2016 18:08:56 +0000 (11:08 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 26 Oct 2016 18:14:43 +0000 (14:14 -0400)
commite9c36f1d0e0e5ec3cd1bbe217770ab6e3b2a672d
treef7f16304e3f97392d67947bb506e1745647227d6
parentac67a8b3dfc0dd34909f32a90e2a9a8023b7b13c
Fix IA32_MISCENABLE disabling of PEBS

We weren't correctly checking the written value. We tell the guest that
PEBS is disabled, thus when they write the same value back to the MSR, we
should check for the disable bit in miscenable

Signed-off-by: Gan Shun <ganshun@gmail.com>
Change-Id: I0e00119d7fec678e2c4e3b2185565444022ac140
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/vmm.c