Lines Matching refs:status
13 xc_evtchn_status_t status; in main() local
23 status.dom = domid; in main()
24 status.port = port; in main()
25 rc = xc_evtchn_status(xch, &status); in main()
29 if ( status.status == EVTCHNSTAT_closed ) in main()
32 printf("%4d: VCPU %u: ", port, status.vcpu); in main()
34 switch ( status.status ) in main()
38 status.u.unbound.dom); in main()
42 status.u.interdomain.dom, status.u.interdomain.port); in main()
45 printf("Physical IRQ %u", status.u.pirq); in main()
48 printf("Virtual IRQ %u", status.u.virq); in main()