kvmhv_nestedv2_mark_dirty
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_GPR(num));
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_CR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_XER);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_CTR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_NIA);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_VSRS(i));
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_FPSCR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_VSRS(i));
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_VSRS(32 + i));
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_VSCR);
kvmhv_nestedv2_mark_dirty(vcpu, iden); \
kvmhv_nestedv2_mark_dirty(vcpu, iden); \
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_DEC_EXPIRY_TB);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_MSR);
kvmhv_nestedv2_mark_dirty(vcpu, iden); \
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LPCR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LOGICAL_PVR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LPCR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_MSR);
kvmhv_nestedv2_mark_dirty(vcpu, iden); \
kvmhv_nestedv2_mark_dirty(vcpu, iden(i)); \
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_GPR(i));
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_CR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_XER);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_CTR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_LR);
kvmhv_nestedv2_mark_dirty(vcpu, KVMPPC_GSID_NIA);