Intial Thumb2 Sandbox (naclrev 6680)

src/trusted/validator_arm/address_set.h

Index: src/trusted/validator_arm/address_set.h
diff --git a/src/trusted/validator_arm/address_set.h b/src/trusted/validator_arm/address_set.h
index 7f4436d7d17de7bb7564c86e5c611905b5ddd26d..682586f966b554e44d0618d0519d7291ccf3ccda 100644
--- a/src/trusted/validator_arm/address_set.h
+++ b/src/trusted/validator_arm/address_set.h
@@ -16,10 +16,10 @@ namespace nacl_arm_val {
  * A set of word addresses, implemented as a dense bitset.
  *
  * An AddressSet has a base address and a size, in bytes, of the space to
- * describe.  Describing N bytes costs N/32 bytes here, since we only record
- * word addresses (4-byte alignment) and pack 8 per byte.
+ * describe.  Describing N bytes costs N/16 bytes here, since we only record
+ * half-word addresses (2-byte alignment) and pack 8 per byte.
  *
- * Thus, an AddressSet covering the entire 256MB code region costs 8MB, plus
+ * Thus, an AddressSet covering the entire 256MB code region costs 16MB, plus
  * a small constant overhead (~16 bytes).
  */
 class AddressSet {