HVMドメインへpirqはどう流れる?

xen/common/domctl.c

long do_domctl(XEN_GUEST_HANDLE(xen_domctl_t) u_domctl)
{
(snip)
    case XEN_DOMCTL_irq_permission:
    {
        struct domain *d;
        unsigned int pirq = op->u.irq_permission.pirq;

とりあえず，受けるドメイン側は，ここをパスすれば，pirqを受けられる状況になる．