GUEST_RFLAGS
EVMCS1_FIELD(GUEST_RFLAGS, guest_rflags,
vmcs12->guest_rflags = vmcs_readl(GUEST_RFLAGS);
FIELD(GUEST_RFLAGS, guest_rflags),
SHADOW_FIELD_RW(GUEST_RFLAGS, guest_rflags)
rflags = vmcs_readl(GUEST_RFLAGS);
vmcs_writel(GUEST_RFLAGS, rflags);
vmcs_writel(GUEST_RFLAGS, rflags);
flags = vmcs_readl(GUEST_RFLAGS);
vmcs_writel(GUEST_RFLAGS, flags);
flags = vmcs_readl(GUEST_RFLAGS);
vmcs_writel(GUEST_RFLAGS, flags);
vmcs_readl(GUEST_RFLAGS), vmcs_readl(GUEST_DR7));
case GUEST_RFLAGS:
case GUEST_RFLAGS:
vmwrite(GUEST_RFLAGS, 2);