Searched refs:eventstream_write (Results 1 – 4 of 4) sorted by relevance
885 eventstream_write(Z_EVT_ZONE_BADARGS); in zone_bootup()1352 eventstream_write(Z_EVT_ZONE_READIED); in server()1356 eventstream_write(Z_EVT_ZONE_BOOTING); in server()1367 eventstream_write(Z_EVT_ZONE_BOOTFAILED); in server()1398 eventstream_write(Z_EVT_ZONE_UNINSTALLING); in server()1422 eventstream_write(Z_EVT_ZONE_READIED); in server()1482 eventstream_write(Z_EVT_ZONE_BOOTING); in server()1489 eventstream_write(Z_EVT_ZONE_BOOTFAILED); in server()1499 eventstream_write(Z_EVT_ZONE_HALTED); in server()1523 eventstream_write(Z_EVT_ZONE_HALTED); in server()[all …]
120 extern void eventstream_write(zone_evt_t evt);
144 eventstream_write(zone_evt_t evt) in eventstream_write() function
395 eventstream_write(int channel, vt_evt_t *pevt) in eventstream_write() function419 eventstream_write(channel, &ve); in vt_ev_request()