Constant XEN_DOMCTL_set_virq_handler 

pub const XEN_DOMCTL_set_virq_handler: u32 = 66;