Home
last modified time | relevance | path

Searched refs:src_vptaddr (Results 1 – 2 of 2) sorted by relevance

/qemu/hw/intc/
H A Darm_gicv3_redist.c1087 void gicv3_redist_mov_vlpi(GICv3CPUState *src, uint64_t src_vptaddr, in gicv3_redist_mov_vlpi() argument
1095 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()
H A Dgicv3_internal.h710 void gicv3_redist_mov_vlpi(GICv3CPUState *src, uint64_t src_vptaddr,