its_vlpi_set_doorbell 1127 drivers/irqchip/irq-gic-v3-its.c its_vlpi_set_doorbell(d, false); its_vlpi_set_doorbell 1135 drivers/irqchip/irq-gic-v3-its.c its_vlpi_set_doorbell(d, true); its_vlpi_set_doorbell 1408 drivers/irqchip/irq-gic-v3-its.c its_vlpi_set_doorbell(d, !!(info->config & LPI_PROP_ENABLED));