On Sat, 25 Jul 2015, Julien Grall wrote: > +/* > + * Events delivered via platform PCI interrupts are always > + * routed to vcpu 0 and hence cannot be rebound. > + */ > +#define xen_support_evtchn_rebind() \ > + (!xen_hvm_domain() || xen_have_vector_callback) Make this an inline please. Thanks, tglx