Searched refs:eventstream_write (Results 1 – 4 of 4) sorted by relevance
895 eventstream_write(Z_EVT_ZONE_BADARGS); in zone_bootup()1373 eventstream_write(Z_EVT_ZONE_READIED); in server()1377 eventstream_write(Z_EVT_ZONE_BOOTING); in server()1388 eventstream_write(Z_EVT_ZONE_BOOTFAILED); in server()1419 eventstream_write(Z_EVT_ZONE_UNINSTALLING); in server()1443 eventstream_write(Z_EVT_ZONE_READIED); in server()1504 eventstream_write(Z_EVT_ZONE_BOOTING); in server()1511 eventstream_write(Z_EVT_ZONE_BOOTFAILED); in server()1521 eventstream_write(Z_EVT_ZONE_HALTED); in server()1546 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
397 eventstream_write(int channel, vt_evt_t *pevt) in eventstream_write() function421 eventstream_write(channel, &ve); in vt_ev_request()