bond/kernel/inc/ke/print.h

#pragma once

#include "cdef.h"

void
ke_printf(const char *str, ...);

void
ke_vprintf(const char *str, va_list args);