Module miri::shims::unix::linux

source ·

Modules§

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