|
142 | 142 | < ids type= "opcode" start= "6400" end= "6463" vendor= "Intel" comment= "Contact [email protected]"/>
|
143 | 143 | <ids type="opcode" start="6464" end="6527" vendor="N/A" comment="Blank range to keep alignment with non-opcodes"/>
|
144 | 144 | < ids type= "opcode" start= "6528" end= "6591" vendor= "Codeplay" comment= "Contact [email protected]"/>
|
| 145 | + < ids type= "opcode" start= "6592" end= "6655" vendor= "Saarland University" comment= "Contact [email protected]"/> |
145 | 146 | <!-- Opcode enumerants to reserve for future use. To get a block, allocate
|
146 | 147 | multiples of 64 starting at the lowest available point in this
|
147 | 148 | block and add a corresponding <ids> tag immediately above. Make
|
148 | 149 | sure to fill in the vendor attribute, and preferably add a contact
|
149 | 150 | person/address in a comment attribute. -->
|
150 | 151 | <!-- Example new block: <ids type="opcode" start="XXXX" end="XXXX+64n-1" vendor="Add vendor" comment="Contact TBD"/> -->
|
151 |
| - <ids type="opcode" start="6592" end="65535" comment="Opcode range reservable for future use by vendors"/> |
| 152 | + <ids type="opcode" start="6656" end="65535" comment="Opcode range reservable for future use by vendors"/> |
152 | 153 | <!-- End reservations of opcodes -->
|
153 | 154 |
|
154 | 155 |
|
|
173 | 174 | < ids type= "enumerant" start= "6400" end= "6463" vendor= "Intel" comment= "Contact [email protected]"/>
|
174 | 175 | < ids type= "enumerant" start= "6464" end= "6527" vendor= "Mikkosoft Productions" comment= "Contact Mikko Rasa, [email protected]"/>
|
175 | 176 | < ids type= "enumerant" start= "6528" end= "6591" vendor= "Codeplay" comment= "Contact [email protected]"/>
|
| 177 | + < ids type= "enumerant" start= "6592" end= "6655" vendor= "Saarland University" comment= "Contact [email protected]"/> |
176 | 178 | <!-- Enumerants to reserve for future use. To get a block, allocate
|
177 | 179 | multiples of 64 starting at the lowest available point in this
|
178 | 180 | block and add a corresponding <ids> tag immediately above. Make
|
179 | 181 | sure to fill in the vendor attribute, and preferably add a contact
|
180 | 182 | person/address in a comment attribute. -->
|
181 | 183 | <!-- Example new block: <ids type="enumerant" start="XXXX" end="XXXX+64n-1" vendor="Add vendor" comment="Contact TBD"/> -->
|
182 |
| - <ids type="enumerant" start="6592" end="4294967295" comment="Enumerant range reservable for future use by vendors"/> |
| 184 | + <ids type="enumerant" start="6656" end="4294967295" comment="Enumerant range reservable for future use by vendors"/> |
183 | 185 | <!-- End reservations of enumerants -->
|
184 | 186 |
|
185 | 187 |
|
|
0 commit comments