code: public long getAlignedVirtualAddress() {
          long virtAddr = get(VIRTUAL_ADDRESS);
          if (virtAddr == (virtAddr & ~0xfff)) {
              return virtAddr;
          }
          long result = (virtAddr + 0xfff) & ~0xfff;
          assert result % 4096 == 0;
          return result;
      }
docs: Returns the VirtualAddress rounded up to a multiple of 4kb.
  
  @return aligned VirtualAddress