miri::shims::unix

Module linux

Source

Modulesยง

  • Linux eventfd implementation.
  • This follows the pattern in src/shims/unix/mem.rs: We only support uses of mremap that would correspond to valid uses of realloc.