GUEST_ASSERT_NE
GUEST_ASSERT_NE(ret.value, 0);
GUEST_ASSERT_NE(ret.value, 0);
GUEST_ASSERT_NE(status, -1);
GUEST_ASSERT_NE(hcall->control, 0);
GUEST_ASSERT_NE(count, 0);
GUEST_ASSERT_NE(val, 0);
GUEST_ASSERT_NE(get_bsp_flag(), 0);
GUEST_ASSERT_NE((b)->from, 0); \
GUEST_ASSERT_NE((b)->to, 0); \