vcpu_sregs_get
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &state->sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &new); \
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);
vcpu_sregs_get(vcpu, &sregs);