Waiting for domain domU (domid 6) to die [pid 3023]
libxl: debug: libxl_event.c:600:libxl__ev_xswatch_register: watch w=0x3fec4 wpath=@releaseDomain token=3/0: register slotnum=3
libxl: debug: libxl_event.c:537:watchfd_callback: watch w=0x3fec4 wpath=@releaseDomain token=3/0: event epath=@releaseDomain
libxl: debug: libxl.c:1199:domain_death_xswatch_callback: [evg=0x3e6f8:6] nentries=1 rc=1 6..6
libxl: debug: libxl.c:1210:domain_death_xswatch_callback: [evg=0x3e6f8:6]   got=domaininfos[0] got->domain=6
libxl: debug: libxl.c:1237:domain_death_xswatch_callback:  exists shutdown_reported=0 dominf.flags=ffff0000
libxl: debug: libxl.c:1203:domain_death_xswatch_callback: [evg=0] all reported
libxl: debug: libxl.c:1266:domain_death_xswatch_callback: domain death search done
libxl: debug: libxl_event.c:537:watchfd_callback: watch w=0x3fec4 wpath=@releaseDomain token=3/0: event epath=@releaseDomain
libxl: debug: libxl.c:1199:domain_death_xswatch_callback: [evg=0x3e6f8:6] nentries=1 rc=1 6..6
libxl: debug: libxl.c:1210:domain_death_xswatch_callback: [evg=0x3e6f8:6]   got=domaininfos[0] got->domain=6
libxl: debug: libxl.c:1237:domain_death_xswatch_callback:  exists shutdown_reported=0 dominf.flags=ffff0019
libxl: debug: libxl.c:1155:domain_death_occurred: dying
libxl: debug: libxl.c:1203:domain_death_xswatch_callback: [evg=0] all reported
libxl: debug: libxl.c:1266:domain_death_xswatch_callback: domain death search done
Domain 6 has been destroyed.
libxl: debug: libxl_event.c:638:libxl__ev_xswatch_deregister: watch w=0x3fec4 wpath=@releaseDomain token=3/0: deregister slotnum=3
xc: debug: hypercall buffer: total allocations:4 total releases:4
xc: debug: hypercall buffer: current allocations:0 maximum allocations:2
xc: debug: hypercall buffer: cache current size:2
xc: debug: hypercall buffer: cache hits:2 misses:2 toobig:0