Symbol: xen_stack_switch
usr/src/uts/intel/os/desctbls.c
980
xen_stack_switch(KDS_SEL,
usr/src/uts/intel/sys/hypervisor.h
148
extern void xen_stack_switch(ulong_t, ulong_t);