miri::shims::unix::sync

Function condattr_translate_clock_id

Source
fn condattr_translate_clock_id<'tcx>(
    ecx: &MiriInterpCx<'tcx>,
    raw_id: i32,
) -> InterpResult<'tcx, ClockId>
Expand description

Translates the clock from what is stored in pthread_condattr_t to our enum.