91                                uint64_t ctbase, bool ds, PendingIrq *hpp)  in update_for_one_lpi()  argument
97                        ctbase + ((irq - GICV3_LPI_INTID_START) * sizeof(lpite)),  in update_for_one_lpi()
141                                 uint64_t ctbase, unsigned ptsizebits,  in update_for_all_lpis()  argument
155             update_for_one_lpi(cs, i * 8 + bit, ctbase, ds, hpp);  in update_for_all_lpis()
231     uint64_t ptbase, ctbase, idbits;  in gicv3_redist_update_vlpi_only()  local
239     ctbase = cs->gicr_vpropbaser & R_GICR_VPROPBASER_PHYADDR_MASK;  in gicv3_redist_update_vlpi_only()
242     update_for_all_lpis(cs, ptbase, ctbase, idbits, true, &cs->hppvlpi);  in gicv3_redist_update_vlpi_only()
1010     uint64_t vptbase, ctbase;  in gicv3_redist_vlpi_pending()  local
1017             ctbase = cs->gicr_vpropbaser & R_GICR_VPROPBASER_PHYADDR_MASK;  in gicv3_redist_vlpi_pending()
1018             update_for_one_lpi(cs, irq, ctbase, true, &cs->hppvlpi);  in gicv3_redist_vlpi_pending()
1034     uint64_t ctbase;  in gicv3_redist_process_vlpi()  local
1047             ctbase = cs->gicr_vpropbaser & R_GICR_VPROPBASER_PHYADDR_MASK;  in gicv3_redist_process_vlpi()
1048             update_for_one_lpi(cs, irq, ctbase, true, &cs->hppvlpi);  in gicv3_redist_process_vlpi()