Symbol: XEN_PRINTF_BUFSIZE
usr/src/uts/i86xpv/os/xen_machdep.c
881
char xen_printf_buffer[XEN_PRINTF_BUFSIZE];
usr/src/uts/i86xpv/os/xen_machdep.c
895
(void) vsnprintf(xen_printf_buffer, XEN_PRINTF_BUFSIZE, fmt, ap);