LPI_PROP_DEFAULT_PRIO 1376 drivers/irqchip/irq-gic-v3-its.c lpi_update_config(d, 0xff, (LPI_PROP_DEFAULT_PRIO | LPI_PROP_DEFAULT_PRIO 1631 drivers/irqchip/irq-gic-v3-its.c memset(va, LPI_PROP_DEFAULT_PRIO | LPI_PROP_GROUP1, LPI_PROPBASE_SZ);