Symbol: xen_manage_device
usr/src/uts/i86xpv/io/psm/xpv_psm.c
1217
if (!xen_manage_device(busnum, devfn))
usr/src/uts/i86xpv/io/psm/xpv_psm.c
1333
if (!xen_manage_device(busnum, devfn))