pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn clock_gettime(
&mut self,
clk_id_op: &OpTy<'tcx>,
tp_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn gettimeofday(
&mut self,
tv_op: &OpTy<'tcx>,
tz_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn localtime_r(
&mut self,
timep: &OpTy<'tcx>,
result_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Pointer> { ... }
fn GetSystemTimeAsFileTime(
&mut self,
shim_name: &str,
LPFILETIME_op: &OpTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn QueryPerformanceCounter(
&mut self,
lpPerformanceCount_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn QueryPerformanceFrequency(
&mut self,
lpFrequency_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn mach_absolute_time(&self) -> InterpResult<'tcx, Scalar> { ... }
fn mach_timebase_info(
&mut self,
info_op: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn nanosleep(
&mut self,
req_op: &OpTy<'tcx>,
_rem: &OpTy<'tcx>,
) -> InterpResult<'tcx, Scalar> { ... }
fn Sleep(&mut self, timeout: &OpTy<'tcx>) -> InterpResult<'tcx> { ... }
}