()
| 21 | const REQUIRED_EXTENSIONS: &'static [&'static str] = &[SSTC_EXTENSION, IFENCEI_EXTENSION]; |
| 22 | |
| 23 | pub fn initialize() -> Result<(), Error> { |
| 24 | let hardware_setup = Self { isa_extensions: Vec::new() }; |
| 25 | ensure_not!(HARDWARE_SETUP.is_completed(), Error::Reinitialization())?; |
| 26 | HARDWARE_SETUP.call_once(|| RwLock::new(hardware_setup)); |
| 27 | Ok(()) |
| 28 | } |
| 29 | |
| 30 | pub fn check_isa_extensions(prop: &str) -> Result<(), Error> { |
| 31 | // example prop value rv64imafdch_zicsr_zifencei_zba_zbb_zbc_zbs |
nothing calls this directly
no outgoing calls
no test coverage detected