RISCV_SET_ICACHE_FLUSH_CTX
#ifndef RISCV_SET_ICACHE_FLUSH_CTX
error = RISCV_SET_ICACHE_FLUSH_CTX(arg2, arg3);