IPL_VBD
ec_bind_evtchn_to_handler(vdp->xdf_evtchn, IPL_VBD, xdf_intr, vdp);
"block", IPL_VBD, XD_DOM_ALL, },