Constant miri::shims::unix::sync::MUTEX_ID_OFFSET

source · 
const MUTEX_ID_OFFSET: u64 = 4;