gicr_read_propbaser 1696 drivers/irqchip/irq-gic-v3-its.c val = gicr_read_propbaser(gic_data_rdist_rd_base() + GICR_PROPBASER); gicr_read_propbaser 2043 drivers/irqchip/irq-gic-v3-its.c val = gicr_read_propbaser(gic_data_rdist_rd_base() + GICR_PROPBASER); gicr_read_propbaser 2129 drivers/irqchip/irq-gic-v3-its.c paddr = gicr_read_propbaser(rbase + GICR_PROPBASER); gicr_read_propbaser 2155 drivers/irqchip/irq-gic-v3-its.c tmp = gicr_read_propbaser(rbase + GICR_PROPBASER);