public static int bytesToPagesUp(VM_Extent bytes) { return bytes.add(BYTES_IN_PAGE-1).toWord().rshl(LOG_BYTES_IN_PAGE).toInt();
public static int bytesToPagesUp(int bytes) { return bytesToPagesUp(VM_Extent.fromIntZeroExtend(bytes));
  public static int bytesToPagesUp(VM_Extent bytes) {    return bytes.add(BYTES_IN_PAGE-1).toWord().rshl(LOG_BYTES_IN_PAGE).toInt();  }