1//! vexriscv mim register -- machine irq mask 2 3read_csr_as_usize!(0xBC0, __read_vmim); 4write_csr_as_usize!(0xBC0, __write_vmim);