# CHECK-EL: break # encoding: [0x00,0x00,0x07,0x00]
# CHECK-EL: break 7, 0 # encoding: [0x07,0x00,0x07,0x00]
# CHECK-EL: break 7, 5 # encoding: [0x07,0x00,0x47,0x01]
-# CHECK-EL: syscall # encoding: [0x00,0x00,0xfc,0x8a]
-# CHECK-EL: syscall 13396 # encoding: [0x54,0x00,0xfc,0x8a]
+# CHECK-EL: syscall # encoding: [0x00,0x00,0x7c,0x8b]
+# CHECK-EL: syscall 396 # encoding: [0x8c,0x01,0x7c,0x8b]
# CHECK-EL: eret # encoding: [0x00,0x00,0x7c,0xf3]
# CHECK-EL: deret # encoding: [0x00,0x00,0x7c,0xe3]
# CHECK-EL: di # encoding: [0x00,0x00,0x7c,0x47]
# CHECK-EB: break # encoding: [0x00,0x00,0x00,0x07]
# CHECK-EB: break 7, 0 # encoding: [0x00,0x07,0x00,0x07]
# CHECK-EB: break 7, 5 # encoding: [0x00,0x07,0x01,0x47]
-# CHECK-EB: syscall # encoding: [0x00,0x00,0x8a,0xfc]
-# CHECK-EB: syscall 13396 # encoding: [0x00,0x54,0x8a,0xfc]
+# CHECK-EB: syscall # encoding: [0x00,0x00,0x8b,0x7c]
+# CHECK-EB: syscall 396 # encoding: [0x01,0x8c,0x8b,0x7c]
# CHECK-EB: eret # encoding: [0x00,0x00,0xf3,0x7c]
# CHECK-EB: deret # encoding: [0x00,0x00,0xe3,0x7c]
# CHECK-EB: di # encoding: [0x00,0x00,0x47,0x7c]
break 7
break 7,5
syscall
- syscall 0x3454
+ syscall 0x18c
eret
deret
di