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
