ucall_fmt
__printf(2, 3) void ucall_fmt(uint64_t cmd, const char *fmt, ...);
#define GUEST_PRINTF(_fmt, _args...) ucall_fmt(UCALL_PRINTF, _fmt, ##_args)