GUEST_UCALL_FAILED
TEST_ASSERT(addr != (void *)GUEST_UCALL_FAILED,
ucall_arch_do_ucall(GUEST_UCALL_FAILED);