Sockeye: correct xeon phi defs
@@ -82,7 +82,7 @@ module XEONPHI {
output memory (0 bits 40) OUT // Addresses issued by device
memory (0 bits 40) GDDR
- GDDR accepts [(0x000000000 to 0x3ffffffff)]
+ GDDR accepts [(0x000000000 to 0x17fffffff)]
memory (0 bits 40) SMPT_IN
SMPT_IN blockoverlays OUT bits(34) // SMPT remaps in 16GB blocks
@@ -92,7 +92,7 @@ module XEONPHI {
memory (0 bits 40) KNC_SOCKET
KNC_SOCKET maps [
- (0x0000000000 to 0x03ffffffff) to GDDR at (0x000000000 to 0x03ffffffff);
+ (0x0000000000 to 0x17fffffff) to GDDR at (0x000000000 to 0x17fffffff);
(0x8000000000 to 0xffffffffff) to SMPT_IN at (0x0 to 0x7fffffffff); // 512GB
(0x08007D0000 to 0x08007effff) to MMIO at (*)
]
