>>> Wei Liu <wei.l...@citrix.com> 06/26/17 6:46 PM >>>
>@@ -148,6 +150,108 @@ void init_int80_direct_trap(struct vcpu *v)
>tb->flags = TBF_EXCEPTION | (TI_GET_IF(ti) ? TBF_INTERRUPT : 0);
>}
>
>+struct softirq_trap {
>+ struct domain *domain; /* domain to inject trap */
>+ struct vcpu *vcpu; /* vcpu to inject trap */
>+ int processor; /* physical cpu to inject trap */
unsigned int please as you go.
>+static void nmi_mce_softirq(void)
>+{
>+ int cpu = smp_processor_id();
Same here.
Jan
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
https://lists.xen.org/xen-devel
