miri::concurrency::sync

Constant LAZY_INIT_COOKIE

Source
pub const LAZY_INIT_COOKIE: u32 = 0xcafe_affe;
Expand description

We designate an init`` field in all primitives. If init` is set to this, we consider the primitive initialized.