IPA0_DIAG
TEST_ASSERT((run->s390_sieic.ipa & 0xff00) == IPA0_DIAG,
TEST_ASSERT_EQ(vcpu->run->s390_sieic.ipa & 0xff00, IPA0_DIAG);