diff options
Diffstat (limited to 'machine')
| -rw-r--r-- | machine/flush_icache.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/machine/flush_icache.h b/machine/flush_icache.h new file mode 100644 index 0000000..92166bc --- /dev/null +++ b/machine/flush_icache.h @@ -0,0 +1,8 @@ +// See LICENSE for license details. + +#ifndef _RISCV_FLUSH_ICACHE_H +#define _RISCV_FLUSH_ICACHE_H + +void __riscv_flush_icache(void); + +#endif /* _RISCV_FLUSH_ICACHE_H */ |