Searched refs:lpipt_baddr (Results 1 – 1 of 1) sorted by relevance
824 uint64_t lpipt_baddr, lpict_baddr; in gicv3_redist_update_lpi_only() local834 lpipt_baddr = cs->gicr_pendbaser & R_GICR_PENDBASER_PHYADDR_MASK; in gicv3_redist_update_lpi_only()837 update_for_all_lpis(cs, lpipt_baddr, lpict_baddr, idbits, in gicv3_redist_update_lpi_only()853 uint64_t lpipt_baddr; in gicv3_redist_lpi_pending() local855 lpipt_baddr = cs->gicr_pendbaser & R_GICR_PENDBASER_PHYADDR_MASK; in gicv3_redist_lpi_pending()856 if (!set_pending_table_bit(cs, lpipt_baddr, irq, level)) { in gicv3_redist_lpi_pending()