Constant tskDEFAULT_INDEX_TO_NOTIFY

pub const tskDEFAULT_INDEX_TO_NOTIFY: u32 = 0;