Symbol: xen_late_startup
usr/src/uts/i86pc/os/startup.c
145
extern void xen_late_startup(void);
usr/src/uts/i86pc/os/startup.c
2173
xen_late_startup();