pub const IOCSR_IPI_SEND_CPU_SHIFT: u32 = 16;
pub const IOCSR_IPI_SEND_BLOCKING: u32 = 1 << 31;
const MAX_CPU_ID: usize = as usize;
const MAX_VECTOR: u32 = - 1;
/// Builds the IOCSR IPI transport command used by native Linux as well as
/// LoongArch firmware environments. Bit 31 makes the IOCSR write wait until
/// the transport accepts the command.
pub