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