EXCEPTION_BITMAP
EVMCS1_FIELD(EXCEPTION_BITMAP, exception_bitmap,
FIELD(EXCEPTION_BITMAP, exception_bitmap),
SHADOW_FIELD_RW(EXCEPTION_BITMAP, exception_bitmap)
vmcs_read32(EXCEPTION_BITMAP),
vmcs_write32(EXCEPTION_BITMAP, eb);
case EXCEPTION_BITMAP:
case EXCEPTION_BITMAP:
vmwrite(EXCEPTION_BITMAP, 0);
GUEST_ASSERT(!vmwrite(EXCEPTION_BITMAP, 0));
GUEST_ASSERT_EQ(vmwrite(EXCEPTION_BITMAP, INTERCEPT_SS_GP_DF), 0);
GUEST_ASSERT_EQ(vmwrite(EXCEPTION_BITMAP, INTERCEPT_SS_DF), 0);
GUEST_ASSERT_EQ(vmwrite(EXCEPTION_BITMAP, INTERCEPT_SS), 0);