/**
  * Zero a range of pages of memory.
  *
  * @param start Start of address range (must be a page address)
  * @param len Length in bytes of range (must be multiple of page size)
  */
 public final void zeroPages(Address start, int len) {
   /* AJG: Add assertions to check conditions documented above. */
   org.jikesrvm.runtime.Memory.zeroPages(start, len);
 }