2018-01-26 08:43:22 +00:00
|
|
|
#ifndef _KERNEL_HAL_PRINT_H_
|
|
|
|
#define _KERNEL_HAL_PRINT_H_
|
2018-01-25 09:53:35 +00:00
|
|
|
|
|
|
|
#include "type.h"
|
|
|
|
|
2018-02-18 04:06:57 +00:00
|
|
|
void KABI hal_vprintf(const char *str, va_list args);
|
2018-01-25 19:11:22 +00:00
|
|
|
|
2018-01-25 09:53:35 +00:00
|
|
|
#endif
|