Function data_model::volatile_memory::is_all_zero_naive

source · 
unsafe fn is_all_zero_naive(head_addr: usize, tail_addr: usize) -> bool
Expand description

Check whether every byte is zero.

This checks byte by byte.

Safety

  • head_addr <= tail_addr
  • Bytes between head_addr and tail_addr is valid to access.