Searched refs:xen_console_write_debug_port (Results 1 – 1 of 1) sorted by relevance
456 static inline void xen_console_write_debug_port(const char *buf, size_t len) in xen_console_write_debug_port() function499 xen_console_write_debug_port(kbuf, len); in guest_console_write()620 xen_console_write_debug_port(str, len); in __putstr()
Completed in 4 milliseconds