#ifndef KERNAUX_INCLUDED_ARCH_RISCV64
#define KERNAUX_INCLUDED_ARCH_RISCV64
#ifdef __cplusplus
extern "C" {
#endif
#include <stdint.h>
}