xen_sysctl_physinfo_t
DEFINE_XEN_GUEST_HANDLE(xen_sysctl_physinfo_t);
xpv_get_physinfo(xen_sysctl_physinfo_t *pi)
xen_sysctl_physinfo_t pi;
xen_sysctl_physinfo_t pi;
xen_sysctl_physinfo_t pi;