Searched refs:xprintf (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/drivers/xeon_phi/
H A Dserial.c35 static inline void xprintf(uint8_t xid, function
98 xprintf(phi->id, phi->serial_buffer);
103 xprintf(phi->id, phi->serial_buffer);
108 xprintf(phi->id, phi->serial_buffer);
/barrelfish-master/lib/libc/stdio/
H A DMakefile.inc31 SRCS+= xprintf.c xprintf_float.c xprintf_int.c xprintf_str.c

Completed in 83 milliseconds