1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
use crate::ecall::*;

#[inline]
pub fn probe_extension(extension: usize) -> bool {
    match extension {
        EXTENSION_BASE => true,
        EXTENSION_TIMER => crate::timer::probe_timer(),
        EXTENSION_IPI => crate::ipi::probe_ipi(),
        // new extensions should be added here to be probed
        _ => false,
    }
}