Symbol: xen_physcpu_mcg_cap
usr/src/uts/i86pc/os/cmi_hw.c
1070
*valp = xen_physcpu_mcg_cap(HDLPRIV(hdl));
usr/src/uts/intel/sys/hypervisor.h
138
extern uint64_t xen_physcpu_mcg_cap(xen_mc_lcpu_cookie_t);