Searched refs:vptbase (Results 1 – 1 of 1) sorted by relevance
1032 uint64_t vptbase, ctbase; in gicv3_redist_vlpi_pending() local1034 vptbase = FIELD_EX64(cs->gicr_vpendbaser, GICR_VPENDBASER, PHYADDR) << 16; in gicv3_redist_vlpi_pending()1036 if (set_pending_table_bit(cs, vptbase, irq, level)) { in gicv3_redist_vlpi_pending()