I've got a box running Xen that had a domain go flaky on it, I ended up doing an `xm destroy` on that domain to kill it. Now I always see that domain when I do an `xm list`. It has no ID and no state, but it shows up in the display like so: Name ID Mem VCPUs State Time(s) 10_virtmach1 512 1 0.0 Domain-0 0 404 1 r----- 112527.4 Anyone know where xen gets this data from? Thanks, Josh