It was requested that we provide a way independent of the MCE reporting
interface that Dom0 software could use to get hold of the values for
particular CPUs.
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
#include <asm/mtrr.h>
#include <asm/io_apic.h>
#include <asm/setup.h>
+#include "cpu/mcheck/mce.h"
#include "cpu/mtrr/mtrr.h"
#include <xsm/xsm.h>
switch ( entry->u.cmd )
{
case XEN_RESOURCE_OP_MSR_READ:
+ if ( ppin_msr && entry->idx == ppin_msr )
+ break;
+ /* fall through */
case XEN_RESOURCE_OP_MSR_WRITE:
if ( entry->idx >> 32 )
ret = -EINVAL;