Searched refs:vkprintf (Results 1 – 1 of 1) sorted by relevance
49 vkprintf(void *op, const char *fmt, va_list adx) in vkprintf() function60 vkprintf(op, fmt, adx); in kprintf()141 _vkobj_printf = vkprintf; in kobj_restore_vectors()