riscv/src/register/vexriscv/sip.rs

//! vexriscv sip register -- supervisor irq pending

read_csr_as_usize!(0xDC0, __read_vsip);