1 /// 向控制台打印字符串。 2 /// 3 /// 该函数接受一个字节切片 `s` 作为输入，并迭代切片中的每个字节 `c`。 4 /// 然后调用 `sbi_rt::console_write_byte` 函数，将 `c` 的值作为参数传递给它。 5 /// 6 /// # 安全性 7 /// 8 /// 这个函数是安全的，因为对SBI环境的操作不涉及不安全内存的访问操作。 9 /// 10 /// # 参数 11 /// 12 /// * `s` - 表示要打印的字符串的字节切片。 13 /// 14 /// # 示例 15 /// 16 /// ``` 17 /// let message = b"Hello, World!"; 18 /// console_putstr(message); 19 /// ``` 20 pub fn console_putstr(s: &[u8]) { 21 for c in s { 22 sbi_rt::console_write_byte(*c); 23 } 24 } 25