xref: /seL4-test-master/tools/riscv-pk/machine/flush_icache.c

// See LICENSE for license details.

void __riscv_flush_icache(void) {
  __asm__ volatile ("fence.i");
}