Re: [PATCH for-4.19.y] xen/privcmd: allow fetching resource sizes