Searched refs:xc_domain_set_virq_handler (Results 1 – 3 of 3) sorted by relevance
214 rv = xc_domain_set_virq_handler(xch, domid, VIRQ_DOM_EXC); in build()
1081 int xc_domain_set_virq_handler(xc_interface *xch, uint32_t domid, int virq);
2185 int xc_domain_set_virq_handler(xc_interface *xch, uint32_t domid, int virq) in xc_domain_set_virq_handler() function
Completed in 13 milliseconds