eventstream_write
eventstream_write(channel, &ve);
eventstream_write(Z_EVT_ZONE_READIED);
eventstream_write(Z_EVT_ZONE_BOOTING);
eventstream_write(Z_EVT_ZONE_BOOTFAILED);
eventstream_write(Z_EVT_ZONE_UNINSTALLING);
eventstream_write(Z_EVT_ZONE_READIED);
eventstream_write(Z_EVT_ZONE_BOOTING);
eventstream_write(Z_EVT_ZONE_BOOTFAILED);
eventstream_write(Z_EVT_ZONE_HALTED);
eventstream_write(Z_EVT_ZONE_HALTED);
eventstream_write(Z_EVT_ZONE_READIED);
eventstream_write(Z_EVT_ZONE_HALTED);
eventstream_write(Z_EVT_ZONE_HALTED);
eventstream_write(Z_EVT_ZONE_REBOOTING);
eventstream_write(Z_EVT_ZONE_BOOTFAILED);
eventstream_write(Z_EVT_ZONE_BOOTFAILED);
eventstream_write(Z_EVT_ZONE_BOOTFAILED);
eventstream_write(Z_EVT_NULL);
eventstream_write(Z_EVT_ZONE_BADARGS);
extern void eventstream_write(zone_evt_t evt);