pub const KSPIN_FLAG_DISTINCT_TRAILING_EDGE: u32 = 512u32;