Searched refs:xen_printf_buffer (Results 1 – 1 of 1) sorted by relevance
891 char xen_printf_buffer[XEN_PRINTF_BUFSIZE]; variable905 (void) vsnprintf(xen_printf_buffer, XEN_PRINTF_BUFSIZE, fmt, ap); in xen_printf()909 strlen(xen_printf_buffer), xen_printf_buffer); in xen_printf()