sockeye: don't use bits and use range instead
@@ -94,7 +94,7 @@ module XEONPHI {
KNC_SOCKET maps [
(0x0000000000 to 0x03ffffffff) to GDDR at (0x000000000 to 0x03ffffffff);
(0x8000000000 to 0xffffffffff) to SMPT_IN at (0x0 to 0x7fffffffff); // 512GB
- (0x08007D0000 bits 16) to MMIO at (*)
+ (0x08007D0000 to 0x08007effff) to MMIO at (*)
]
memory (0 bits 40) LAPIC
