Searched refs:user_vprintf (Results 1 – 1 of 1) sorted by relevance
30 user_vprintf(user_addr_t *output, user_addr_t output_end, const char *format, va_list args) __print… in user_vprintf() function48 user_vprintf(&SYSCTL_OUTPUT_BUF, SYSCTL_OUTPUT_END, format, args); in testprintf()