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));