On 28.03.19 03:32, Krish Sadhukhan wrote: > Signed-off-by: Krish Sadhukhan <krish.sadhukhan@xxxxxxxxxx> > Reviewed-by: Mark Kanda <mark.kanda@xxxxxxxxxx> > > --- > x86/vmx.c | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/x86/vmx.c b/x86/vmx.c > index 6ba56bc..d1a0da8 100644 > --- a/x86/vmx.c > +++ b/x86/vmx.c > @@ -1193,7 +1193,7 @@ static void init_vmcs_guest(void) > /* 26.3.1.4 */ > vmcs_write(GUEST_RIP, (u64)(&guest_entry)); > vmcs_write(GUEST_RSP, (u64)(guest_stack + PAGE_SIZE - 1)); > - vmcs_write(GUEST_RFLAGS, 0x2); > + vmcs_write(GUEST_RFLAGS, X86_EFLAGS_FIXED); > > /* 26.3.1.5 */ > vmcs_write(GUEST_ACTV_STATE, ACTV_ACTIVE); > @@ -1705,7 +1705,7 @@ static int test_run(struct vmx_test *test) > test->exits = 0; > current = test; > regs = test->guest_regs; > - vmcs_write(GUEST_RFLAGS, regs.rflags | 0x2); > + vmcs_write(GUEST_RFLAGS, regs.rflags | X86_EFLAGS_FIXED); > launched = 0; > guest_finished = 0; > printf("\nTest suite: %s\n", test->name); > Reviewed-by: David Hildenbrand <david@xxxxxxxxxx> -- Thanks, David / dhildenb