linux_raw_sys::prctl

Constant PR_RISCV_SET_ICACHE_FLUSH_CTX

Source 
pub const PR_RISCV_SET_ICACHE_FLUSH_CTX: u32 = 71;