Skip to main content

write_filetime_field

miri::shims::windows::fs

Function write_filetime_field 

Source 
fn write_filetime_field<'tcx>(
    cx: &mut MiriInterpCx<'tcx>,
    val: &MPlaceTy<'tcx>,
    name: &str,
    (low, high): (u32, u32),
) -> InterpResult<'tcx>