On 07.04.2020 19:38, Paul Durrant wrote: > +int main(int argc, char **argv) > +{ > + uint32_t domid; > + unsigned int entry; > + xc_interface *xch; > + int rc; > + > + if ( argc != 2 || !argv[1] || (rc = atoi(argv[1])) < 0 ) > + { > + fprintf(stderr, "usage: %s <domid>\n", argv[0]); > + exit(1); > + }
Perhaps also allow dumping just a single (vCPU or other) ID? Jan