Module miri::shims::unix::linux

Modules

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