os_kernel/lib/kernel/print.h

#ifndef __LIB_KERNEL_PRINT_H
#define __LIB_KERNEL_PRINT_H

#include "stdint.h"

/**
 * @brief  打印字符
 * @note   打印 ascii characters
 * @param  char_ascii: ascii string
 * @retval None
 */
void put_char(uint8_t char_ascii);
/**
 * @brief  打印字符串
 * @note   调用 put_char 打印字符串
 * @param  *message: 字符串地址
 * @retval None
 */
void put_str(char *message);

/**
 * @brief  打印整数
 * @note   以十六进制形式打印整数
 * @param  num: 数字
 * @retval None
 */
void put_int(uint32_t num);

#endif // __LIB_KERNEL_PRINT_H