Change u32 to uint32_t while at it.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
{
struct vcpu *sampled = current, *sampling;
struct vpmu_struct *vpmu;
+#ifdef CONFIG_HVM
struct vlapic *vlapic;
- u32 vlapic_lvtpc;
+ uint32_t vlapic_lvtpc;
+#endif
/*
* dom0 will handle interrupt for special domains (e.g. idle domain) or,
return;
}
+#ifdef CONFIG_HVM
/* HVM guests */
vlapic = vcpu_vlapic(sampling);
sampling->nmi_pending = 1;
break;
}
+#endif
}
static void vpmu_save_force(void *arg)