Constant riot_sys::SCB_SCR_SEVONPEND_Msk

pub const SCB_SCR_SEVONPEND_Msk: u32 = 16;