Symbol: xen_processor_px_t
usr/src/uts/common/xen/public/platform.h
280
DEFINE_XEN_GUEST_HANDLE(xen_processor_px_t);
usr/src/uts/common/xen/public/platform.h
296
XEN_GUEST_HANDLE(xen_processor_px_t) states;
usr/src/uts/i86xpv/io/privcmd_hcall.c
632
sizeof (xen_processor_px_t);