Searched refs:vcpu_resident (Results 1 – 1 of 1) sorted by relevance
72 static bool vcpu_resident(GICv3CPUState *cs, uint64_t vptaddr) in vcpu_resident() function1055 bool resident = vcpu_resident(cs, vptaddr); in gicv3_redist_process_vlpi()1099 if (vcpu_resident(src, src_vptaddr) && irq == src->hppvlpi.irq) { in gicv3_redist_mov_vlpi()1115 if (!vcpu_resident(cs, vptaddr)) { in gicv3_redist_vinvall()