Lines Matching refs:device
92 * dev_alloc_lock has to be taken for device allocations, while the
93 * spinlock must be taken to parse data structures such as the device
156 * The ITS view of a device - belongs to an ITS, owns an interrupt
1951 * Drop the refcount and make the device available again if
2467 * range of device IDs that the ITS can grok... The ID
2469 * massive waste of memory if two-level device table
3317 /* Don't allow device id that exceeds single, flat table limit */
3359 /* Don't allow device id that exceeds ITS hardware limit */
3429 * Even if the device wants a single LPI, the ITT must be
3472 /* Map device to its ITT */
3506 static int its_msi_prepare(struct irq_domain *domain, struct device *dev,
3531 WARN_ONCE(1, "DevId %x clashes with GICv4 VPE proxy device\n",
3542 * create the device.
3646 /* Map the GIC IRQ and event to the device */
3685 * floor. This is conditioned on the device not being shared.
3694 /* Unmap device/itt */
3716 * device to issue an INV command, implying that the LPI has first
3717 * been mapped to some event on that device. Since this is not exactly
3836 * into the proxy device, we need to move the doorbell
4715 * with device ID taken from bits [device_id_bits + 1:2] of
5040 pr_err("ITS: Can't allocate GICv4 proxy device\n");
5048 pr_info("ITS: Allocated DevID %x as GICv4 proxy device (%d slots)\n",