ucall_assert
__printf(5, 6) void ucall_assert(uint64_t cmd, const char *exp,
ucall_assert(UCALL_ABORT, _exp, __FILE__, __LINE__, _fmt, ##_args); \
ucall_assert(UCALL_ABORT, "Unconditional guest failure", \