/* Copyright (c) 2026 The Solidite Developers
*
* This program is free software: you can redistribute it and/or modify it
* under the terms of the GNU Affero General Public License as published by the
* Free Software Foundation, either version 3 of the License, or (at your
* option) any later version.
*
* This program is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License
* for more details.
*
* You should have received a copy of the GNU Affero General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>. */
#ifndef RISCV64_H
#define RISCV64_H
#include "../../libc/include/string.h"
extern void kputchar(const char c);
__attribute__((always_inline)) static inline void kwrite(const char *s) {
while (*s != '\0') {
kputchar(*s);
++s;
}
}
#endif
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>