Symbol: get_xen_guest_handle_u
usr/src/uts/i86xpv/io/privcmd_hcall.c
272
get_xen_guest_handle_u(taddr, op.u.vcpucontext.ctxt);
usr/src/uts/i86xpv/io/privcmd_hcall.c
509
get_xen_guest_handle_u(scdp, op.u.perfc_op.desc);