Waiting for domain PRECISEUEFI (domid 6) to die [pid 7866]
libxl: debug: libxl_event.c:559:libxl__ev_xswatch_register: watch w=0x1dc0380 wpath=@releaseDomain token=3/0: register slotnum=3
libxl: debug: libxl_event.c:559:libxl__ev_xswatch_register: watch w=0x1dc0050 wpath=/local/domain/6/device/vbd/832/eject token=2/1: register slotnum=2
libxl: debug: libxl_event.c:503:watchfd_callback: watch w=0x1dc0380 wpath=@releaseDomain token=3/0: event epath=@releaseDomain
libxl: debug: libxl.c:1005:domain_death_xswatch_callback: [evg=0x1dbe8e0:6] from domid=6 nentries=1 rc=1
libxl: debug: libxl.c:1016:domain_death_xswatch_callback: [evg=0x1dbe8e0:6]   got=domaininfos[0] got->domain=6
libxl: debug: libxl.c:1043:domain_death_xswatch_callback:  exists shutdown_reported=0 dominf.flags=ffff0002
libxl: debug: libxl.c:1009:domain_death_xswatch_callback: [evg=0] all reported
libxl: debug: libxl.c:1073:domain_death_xswatch_callback: domain death search done
libxl: debug: libxl_event.c:503:watchfd_callback: watch w=0x1dc0050 wpath=/local/domain/6/device/vbd/832/eject token=2/1: event epath=/local/domain/6/device/vbd/832/eject
libxl: debug: libxl_event.c:503:watchfd_callback: watch w=0x1dc0050 wpath=/local/domain/6/device/vbd/832/eject token=2/1: event epath=/local/domain/6/device/vbd/832/eject
libxl: debug: libxl_event.c:503:watchfd_callback: watch w=0x1dc0050 wpath=/local/domain/6/device/vbd/832/eject token=2/1: event epath=/local/domain/6/device/vbd/832/eject
libxl: debug: libxl_event.c:503:watchfd_callback: watch w=0x1dc0050 wpath=/local/domain/6/device/vbd/832/eject token=2/1: event epath=/local/domain/6/device/vbd/832/eject
libxl: debug: libxl_event.c:503:watchfd_callback: watch w=0x1dc0380 wpath=@releaseDomain token=3/0: event epath=@releaseDomain
libxl: debug: libxl.c:1005:domain_death_xswatch_callback: [evg=0x1dbe8e0:6] from domid=6 nentries=1 rc=1
libxl: debug: libxl.c:1016:domain_death_xswatch_callback: [evg=0x1dbe8e0:6]   got=domaininfos[0] got->domain=6
libxl: debug: libxl.c:1043:domain_death_xswatch_callback:  exists shutdown_reported=0 dominf.flags=ffff000b
libxl: debug: libxl.c:961:domain_death_occurred: dying
libxl: debug: libxl.c:1009:domain_death_xswatch_callback: [evg=0] all reported
libxl: debug: libxl.c:1073:domain_death_xswatch_callback: domain death search done
Domain 6 has been destroyed.
libxl: debug: libxl_event.c:596:libxl__ev_xswatch_deregister: watch w=0x1dc0380 wpath=@releaseDomain token=3/0: deregister slotnum=3
libxl: debug: libxl_event.c:596:libxl__ev_xswatch_deregister: watch w=0x1dc0050 wpath=/local/domain/6/device/vbd/832/eject token=2/1: deregister slotnum=2
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