miri::shims::unix::freebsd

Module sync

Source
Expand description

Contains FreeBSD-specific synchronization functions

Structs§

FreeBsdFutex
UmtxTime
Extended variant of the timespec struct.

Traits§

EvalContextExt