#ifndef _KERNEL_KE_PRINT_H_
#define _KERNEL_KE_PRINT_H_

#include "type.h"
#include "kernel/hal/print.h"

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

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

#endif