Searched refs:l4_kprintf (Results 1 – 2 of 2) sorted by relevance
24 L4_CV int l4_kprintf(const char *fmt, ...)
28 L4_CV int l4_kprintf(const char *fmt, ...) in l4_kprintf() function
Completed in 3 milliseconds