+/* DR7_FIXED_1 is also used as the init/reset value for DR7 */Did you mean to describe what DR7_FIXED_1 is, and then say it is also
+#define DR7_FIXED_1 0x00000400
+
used as the init/reset value? Because the way the comment is framed
right now, it seems something is missing.