#ifndef ARCH_RISCV_TCB_H#define ARCH_RISCV_TCB_H/** * @file tcb.h * riscv64 definitions of arch-specific tcb data. */structarch_tcbd{/* empty for now, but should probably be filled with stuff like register * saving of something */};#endif /* ARCH_RISCV_TCB_H */