pebstwck3/riscv-pk/machine/flush_icache.c

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