//! Chapter 7. IPI Extension (EID #0x735049 "sPI: s-mode IPI").
/// Extension ID for Inter-processor Interrupt extension.
pubconstEID_SPI:usize=crate::eid_from_str("sPI")as_;pubusefid::*;/// Declared in §7.2.
modfid{/// Function ID to send an inter-processor interrupt to all harts defined in hart mask.
////// Declared in §7.1.
pubconstSEND_IPI:usize=0;}