diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-12-13 17:05:42 -0800 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-12-13 17:05:42 -0800 |
| commit | 15ff218ec04c4d8aea4bdfafd9259f158978e402 (patch) | |
| tree | f90d08ad9684beafd5ea973fdcace3465cd58c94 /machine/flush_icache.c | |
| parent | 3d921d3c76db3af7b9ae0b5df0f0790f26222246 (diff) | |
| download | riscv-pk-15ff218ec04c4d8aea4bdfafd9259f158978e402.zip riscv-pk-15ff218ec04c4d8aea4bdfafd9259f158978e402.tar.gz riscv-pk-15ff218ec04c4d8aea4bdfafd9259f158978e402.tar.bz2 | |
Add __riscv_flush_icache
For BBL's purposes a local i-cache flush should be sufficient.
Diffstat (limited to 'machine/flush_icache.c')
| -rw-r--r-- | machine/flush_icache.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/machine/flush_icache.c b/machine/flush_icache.c new file mode 100644 index 0000000..45ba204 --- /dev/null +++ b/machine/flush_icache.c @@ -0,0 +1,3 @@ +void __riscv_flush_icache(void) { + __asm__ volatile ("fence.i"); +} |