Searched refs:rnd_printf_source (Results 1 – 1 of 1) sorted by relevance
114 static krndsource_t rnd_printf_source; variable153 rnd_attach_source(&rnd_printf_source, "printf", RND_TYPE_UNKNOWN, in kprintf_init()520 rnd_add_data_intr(&rnd_printf_source, &ch, 1, 0); in putchar()1623 rnd_add_data_intr(&rnd_printf_source, NULL, 0, 0); in kprintf()