-/* $OpenBSD: vm.c,v 1.13 2017/04/25 06:44:35 reyk Exp $ */
+/* $OpenBSD: vm.c,v 1.14 2017/05/02 02:58:24 mlarkin Exp $ */
/*
* Copyright (c) 2015 Mike Larkin <mlarkin@openbsd.org>
.vrs_idtr = { 0x0, 0xFFFF, 0x0, 0x0},
.vrs_sregs[VCPU_REGS_LDTR] = { 0x0, 0xFFFF, 0x0082, 0x0},
.vrs_sregs[VCPU_REGS_TR] = { 0x0, 0xFFFF, 0x008B, 0x0},
+ .vrs_msrs[VCPU_REGS_EFER] = 0ULL,
+ .vrs_msrs[VCPU_REGS_STAR] = 0ULL,
+ .vrs_msrs[VCPU_REGS_LSTAR] = 0ULL,
+ .vrs_msrs[VCPU_REGS_CSTAR] = 0ULL,
+ .vrs_msrs[VCPU_REGS_SFMASK] = 0ULL,
+ .vrs_msrs[VCPU_REGS_KGSBASE] = 0ULL
};
/*
.vrs_idtr = { 0x0, 0xFFFF, 0x0, 0x0},
.vrs_sregs[VCPU_REGS_LDTR] = { 0x0, 0xFFFF, 0x0082, 0x0},
.vrs_sregs[VCPU_REGS_TR] = { 0x0, 0xFFFF, 0x008B, 0x0},
+ .vrs_msrs[VCPU_REGS_EFER] = 0ULL,
+ .vrs_msrs[VCPU_REGS_STAR] = 0ULL,
+ .vrs_msrs[VCPU_REGS_LSTAR] = 0ULL,
+ .vrs_msrs[VCPU_REGS_CSTAR] = 0ULL,
+ .vrs_msrs[VCPU_REGS_SFMASK] = 0ULL,
+ .vrs_msrs[VCPU_REGS_KGSBASE] = 0ULL
};
/*