Symbol: GIC_PAGE_SIZE_4K
drivers/irqchip/irq-gic-v3-its.c
2854
case GIC_PAGE_SIZE_4K:
drivers/irqchip/irq-gic-v3-its.c
2947
gpsz = GIC_PAGE_SIZE_4K;
drivers/irqchip/irq-gic-v3-its.c
2949
case GIC_PAGE_SIZE_4K: