Searched refs:irq_dest_vec (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/lib/pci/
H A Dpci_client.c179 uint64_t irq_dest_vec = INVALID_VECTOR; local
180 err = invoke_irqdest_get_vector(irq_dest_cap, &irq_dest_vec);
185 PCI_CLIENT_DEBUG("Got dest cap, vector: %"PRIu64"\n", irq_dest_vec);

Completed in 49 milliseconds