Symbol: IORT_IRQ_MASK
drivers/acpi/arm64/iort.c
1757
hw_irq = IORT_IRQ_MASK(glb_irq[0]);
drivers/acpi/arm64/iort.c
1766
hw_irq = IORT_IRQ_MASK(ctx_irq[i]);