Searched defs:guest_gsi (Results 1 – 1 of 1) sorted by relevance
192 unsigned int guest_gsi = hvm_pci_intx_gsi(digl->device, digl->intx); in pt_irq_time_out() local468 unsigned int guest_gsi; in pt_irq_create_bind() local671 unsigned int guest_gsi = hvm_pci_intx_gsi(device, intx); in pt_irq_destroy_bind() local982 void hvm_dpci_eoi(struct domain *d, unsigned int guest_gsi, in hvm_dpci_eoi()
Completed in 4 milliseconds