Constant PR_RISCV_SET_ICACHE_FLUSH_CTX 

pub const PR_RISCV_SET_ICACHE_FLUSH_CTX: u32 = 71;