#ifndef KERNEL_HAL_PRINT_H
#define KERNEL_HAL_PRINT_H
#include "type.h"
void SXAPI hal_vprintf(const char *str, va_list args);
#endif