Lines Matching defs:vector
61 uint64_t vector = INVALID_VECTOR;
67 reloc_handler_arg, &vector);
72 assert(vector != INVALID_VECTOR);
75 err = inthandler_setup(handler, handler_arg, &vector);
80 assert(vector != INVALID_VECTOR);
86 vector, &msgerr);
163 // For now, we just use the first vector passed to the driver.
167 DEBUG_ERR(err, "Could not lookup GSI vector");
182 DEBUG_ERR(err, "Could not lookup irq vector");
185 PCI_CLIENT_DEBUG("Got dest cap, vector: %"PRIu64"\n", irq_dest_vec);
331 // We use the first passed vector of the device,
472 uint64_t vector = INVALID_VECTOR;
473 err = inthandler_setup(handler, handler_arg, &vector);
482 disp_get_core_id(), vector,
511 uint64_t vector = INVALID_VECTOR;
513 err = inthandler_setup(handler, handler_arg, &vector);
515 *ret_vector = vector + 32; // FIXME: HACK
636 uint8_t destination, uint8_t vector)
641 vector, &msgerr);
646 vector, &msgerr);
653 uint8_t vector)
655 return pci_msix_vector_init_addr(NULL, idx, destination, vector);