Constant KSPIN_FLAG_DISTINCT_TRAILING_EDGE

pub const KSPIN_FLAG_DISTINCT_TRAILING_EDGE: u32 = 512u32;