aboutsummaryrefslogtreecommitdiff
path: root/machine/flush_icache.c
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2018-07-09 15:46:24 -0700
committerAndrew Waterman <andrew@sifive.com>2018-07-09 15:46:24 -0700
commit16476bd8219f58417a401ea0a720d9588d1d8ebc (patch)
treea6debdb2f24c119d281e1389c8efb0ac68b6fc86 /machine/flush_icache.c
parent600ff370c65ba99d2103a050a1847671cc0bd9c9 (diff)
downloadpk-16476bd8219f58417a401ea0a720d9588d1d8ebc.zip
pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.gz
pk-16476bd8219f58417a401ea0a720d9588d1d8ebc.tar.bz2
Properly license all nontrivial files
Diffstat (limited to 'machine/flush_icache.c')
-rw-r--r--machine/flush_icache.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/machine/flush_icache.c b/machine/flush_icache.c
index 45ba204..3a3dbc1 100644
--- a/machine/flush_icache.c
+++ b/machine/flush_icache.c
@@ -1,3 +1,5 @@
+// See LICENSE for license details.
+
void __riscv_flush_icache(void) {
__asm__ volatile ("fence.i");
}