vcpu_regs_get
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpus[vcpu_id], ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, &state->regs);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(*vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s2);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s2);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s2);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s1);
vcpu_regs_get(vcpu, ®s2);