Symbol: GITS_BASER_PAGE_SIZE_4K
drivers/irqchip/irq-gic-v3-its.c
2436
val |= GITS_BASER_PAGE_SIZE_4K;
drivers/irqchip/irq-gic-v3-its.c
2635
gpsz = GITS_BASER_PAGE_SIZE_4K;