macro_rules! hart_mask {
    ($hart_id1:expr $(, $($hart_id:expr),+ $(,)?)?) => { ... };
    (base: $base:literal, ids: $($hart_id:expr),* $(,)?) => { ... };
}
Expand description

A convenience macro to help create a HartMask from either one or more hart IDs or a base and a list of hart IDs.

Examples:

A single hart ID: hart_mask!(my_hart_id);

Multiple hart IDs: hart_mask!(1, 3, 5);

An explicit base with a list of hart IDs: hart_mask!(base: 0, ids: 1, 3, 5);