Symbol: get_xen_guest_handle
usr/src/uts/i86xpv/io/privcmd_hcall.c
68
get_xen_guest_handle(ptr, (*hdl));
usr/src/uts/i86xpv/io/privcmd_hcall.c
734
get_xen_guest_handle(taddr, op_arg.resv.extent_start);
usr/src/uts/i86xpv/io/privcmd_hcall.c
824
get_xen_guest_handle(taddr, op_arg.fmm.map.buffer);