@@ -2003,6 +2003,7 @@ static void initrd_load(struct kernel_info *kinfo)
static void evtchn_fixup(struct domain *d, struct kernel_info *kinfo)
{
int res, node;
+ u64 val;
gic_interrupt_t intr;
/*
@@ -2018,6 +2019,15 @@ static void evtchn_fixup(struct domain *d, struct kernel_info *kinfo)
printk("Allocating PPI %u for event channel interrupt\n",
d->arch.evtchn_irq);
+ /* Set the value of domain param HVM_PARAM_CALLBACK_IRQ */
+ val = (u64)HVM_PARAM_CALLBACK_TYPE_EVENT << 56;
+ val |= (2 << 8); /* Active-low level-sensitive */
+ val |= d->arch.evtchn_irq & 0xff;
+ d->arch.hvm_domain.params[HVM_PARAM_CALLBACK_IRQ] = val;
+
+ if ( !acpi_disabled )
+ return;
+
/* Fix up "interrupts" in /hypervisor node */
node = fdt_path_offset(kinfo->fdt, "/hypervisor");
if ( node < 0 )