#ifndef KERNEL_HAL_PRINT_H
#define KERNEL_HAL_PRINT_H

#include "type.h"

void SXAPI hal_vprintf(const char *str, va_list args);

#endif