fn extract_windows_epoch<'tcx>(
ecx: &MiriInterpCx<'tcx>,
time: Result<SystemTime>,
) -> InterpResult<'tcx, Option<(u32, u32)>>
Expand description
Windows FILETIME is measured in 100-nanosecs since 1601
fn extract_windows_epoch<'tcx>(
ecx: &MiriInterpCx<'tcx>,
time: Result<SystemTime>,
) -> InterpResult<'tcx, Option<(u32, u32)>>
Windows FILETIME is measured in 100-nanosecs since 1601