gic_dist_supports_lpis 1043 drivers/irqchip/irq-gic-v3.c 	if (gic_dist_supports_lpis())
gic_dist_supports_lpis 1264 drivers/irqchip/irq-gic-v3.c 		if (!gic_dist_supports_lpis())
gic_dist_supports_lpis 1576 drivers/irqchip/irq-gic-v3.c 	if (gic_dist_supports_lpis()) {