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

/seL4-test-master/kernel/include/machine/
H A Dio.h29 word_t kprintf(const char *format, ...) VISIBLE FORMAT(printf, 1, 2);
32 #define printf(args...) kprintf(args)
/seL4-test-master/kernel/src/machine/
H A Dio.c587 word_t kprintf(const char *format, ...) function

Completed in 79 milliseconds