Symbol: GICR_VPROPBASER_4_1_ADDR
drivers/irqchip/irq-gic-v3-its.c
2775
val |= FIELD_PREP(GICR_VPROPBASER_4_1_ADDR, addr >> 12);
drivers/irqchip/irq-gic-v3-its.c
3005
val |= FIELD_PREP(GICR_VPROPBASER_4_1_ADDR, pa >> 12);