xen_sysctl_perfc_desc_t
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_perfc_desc_t);
XEN_GUEST_HANDLE_64(xen_sysctl_perfc_desc_t) desc;
xen_sysctl_perfc_desc_t *scdp;
(sizeof (xen_sysctl_perfc_desc_t) * numcounters),