Searched refs:src_vptaddr (Results 1 – 2 of 2) sorted by relevance
1087 void gicv3_redist_mov_vlpi(GICv3CPUState *src, uint64_t src_vptaddr, in gicv3_redist_mov_vlpi() argument1095 if (!set_pending_table_bit(src, src_vptaddr, irq, 0)) { in gicv3_redist_mov_vlpi()1099 if (vcpu_resident(src, src_vptaddr) && irq == src->hppvlpi.irq) { in gicv3_redist_mov_vlpi()
710 void gicv3_redist_mov_vlpi(GICv3CPUState *src, uint64_t src_vptaddr,