x86_emulate.c 43 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625
  1. /******************************************************************************
  2. * x86_emulate.c
  3. *
  4. * Generic x86 (32-bit and 64-bit) instruction decoder and emulator.
  5. *
  6. * Copyright (c) 2005 Keir Fraser
  7. *
  8. * Linux coding style, mod r/m decoder, segment base fixes, real-mode
  9. * privileged instructions:
  10. *
  11. * Copyright (C) 2006 Qumranet
  12. *
  13. * Avi Kivity <avi@qumranet.com>
  14. * Yaniv Kamay <yaniv@qumranet.com>
  15. *
  16. * This work is licensed under the terms of the GNU GPL, version 2. See
  17. * the COPYING file in the top-level directory.
  18. *
  19. * From: xen-unstable 10676:af9809f51f81a3c43f276f00c81a52ef558afda4
  20. */
  21. #ifndef __KERNEL__
  22. #include <stdio.h>
  23. #include <stdint.h>
  24. #include <public/xen.h>
  25. #define DPRINTF(_f, _a ...) printf( _f , ## _a )
  26. #else
  27. #include "kvm.h"
  28. #define DPRINTF(x...) do {} while (0)
  29. #endif
  30. #include "x86_emulate.h"
  31. #include <linux/module.h>
  32. /*
  33. * Opcode effective-address decode tables.
  34. * Note that we only emulate instructions that have at least one memory
  35. * operand (excluding implicit stack references). We assume that stack
  36. * references and instruction fetches will never occur in special memory
  37. * areas that require emulation. So, for example, 'mov <imm>,<reg>' need
  38. * not be handled.
  39. */
  40. /* Operand sizes: 8-bit operands or specified/overridden size. */
  41. #define ByteOp (1<<0) /* 8-bit operands. */
  42. /* Destination operand type. */
  43. #define ImplicitOps (1<<1) /* Implicit in opcode. No generic decode. */
  44. #define DstReg (2<<1) /* Register operand. */
  45. #define DstMem (3<<1) /* Memory operand. */
  46. #define DstMask (3<<1)
  47. /* Source operand type. */
  48. #define SrcNone (0<<3) /* No source operand. */
  49. #define SrcImplicit (0<<3) /* Source operand is implicit in the opcode. */
  50. #define SrcReg (1<<3) /* Register operand. */
  51. #define SrcMem (2<<3) /* Memory operand. */
  52. #define SrcMem16 (3<<3) /* Memory operand (16-bit). */
  53. #define SrcMem32 (4<<3) /* Memory operand (32-bit). */
  54. #define SrcImm (5<<3) /* Immediate operand. */
  55. #define SrcImmByte (6<<3) /* 8-bit sign-extended immediate operand. */
  56. #define SrcMask (7<<3)
  57. /* Generic ModRM decode. */
  58. #define ModRM (1<<6)
  59. /* Destination is only written; never read. */
  60. #define Mov (1<<7)
  61. #define BitOp (1<<8)
  62. static u8 opcode_table[256] = {
  63. /* 0x00 - 0x07 */
  64. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  65. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  66. 0, 0, 0, 0,
  67. /* 0x08 - 0x0F */
  68. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  69. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  70. 0, 0, 0, 0,
  71. /* 0x10 - 0x17 */
  72. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  73. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  74. 0, 0, 0, 0,
  75. /* 0x18 - 0x1F */
  76. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  77. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  78. 0, 0, 0, 0,
  79. /* 0x20 - 0x27 */
  80. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  81. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  82. SrcImmByte, SrcImm, 0, 0,
  83. /* 0x28 - 0x2F */
  84. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  85. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  86. 0, 0, 0, 0,
  87. /* 0x30 - 0x37 */
  88. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  89. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  90. 0, 0, 0, 0,
  91. /* 0x38 - 0x3F */
  92. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  93. ByteOp | DstReg | SrcMem | ModRM, DstReg | SrcMem | ModRM,
  94. 0, 0, 0, 0,
  95. /* 0x40 - 0x4F */
  96. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  97. /* 0x50 - 0x57 */
  98. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  99. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  100. /* 0x58 - 0x5F */
  101. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  102. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  103. /* 0x60 - 0x67 */
  104. 0, 0, 0, DstReg | SrcMem32 | ModRM | Mov /* movsxd (x86/64) */ ,
  105. 0, 0, 0, 0,
  106. /* 0x68 - 0x6F */
  107. 0, 0, ImplicitOps|Mov, 0,
  108. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps, /* insb, insw/insd */
  109. SrcNone | ByteOp | ImplicitOps, SrcNone | ImplicitOps, /* outsb, outsw/outsd */
  110. /* 0x70 - 0x77 */
  111. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  112. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  113. /* 0x78 - 0x7F */
  114. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  115. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  116. /* 0x80 - 0x87 */
  117. ByteOp | DstMem | SrcImm | ModRM, DstMem | SrcImm | ModRM,
  118. ByteOp | DstMem | SrcImm | ModRM, DstMem | SrcImmByte | ModRM,
  119. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  120. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM,
  121. /* 0x88 - 0x8F */
  122. ByteOp | DstMem | SrcReg | ModRM | Mov, DstMem | SrcReg | ModRM | Mov,
  123. ByteOp | DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  124. 0, 0, 0, DstMem | SrcNone | ModRM | Mov,
  125. /* 0x90 - 0x9F */
  126. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ImplicitOps, 0, 0, 0,
  127. /* 0xA0 - 0xA7 */
  128. ByteOp | DstReg | SrcMem | Mov, DstReg | SrcMem | Mov,
  129. ByteOp | DstMem | SrcReg | Mov, DstMem | SrcReg | Mov,
  130. ByteOp | ImplicitOps | Mov, ImplicitOps | Mov,
  131. ByteOp | ImplicitOps, ImplicitOps,
  132. /* 0xA8 - 0xAF */
  133. 0, 0, ByteOp | ImplicitOps | Mov, ImplicitOps | Mov,
  134. ByteOp | ImplicitOps | Mov, ImplicitOps | Mov,
  135. ByteOp | ImplicitOps, ImplicitOps,
  136. /* 0xB0 - 0xBF */
  137. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  138. /* 0xC0 - 0xC7 */
  139. ByteOp | DstMem | SrcImm | ModRM, DstMem | SrcImmByte | ModRM,
  140. 0, ImplicitOps, 0, 0,
  141. ByteOp | DstMem | SrcImm | ModRM | Mov, DstMem | SrcImm | ModRM | Mov,
  142. /* 0xC8 - 0xCF */
  143. 0, 0, 0, 0, 0, 0, 0, 0,
  144. /* 0xD0 - 0xD7 */
  145. ByteOp | DstMem | SrcImplicit | ModRM, DstMem | SrcImplicit | ModRM,
  146. ByteOp | DstMem | SrcImplicit | ModRM, DstMem | SrcImplicit | ModRM,
  147. 0, 0, 0, 0,
  148. /* 0xD8 - 0xDF */
  149. 0, 0, 0, 0, 0, 0, 0, 0,
  150. /* 0xE0 - 0xE7 */
  151. 0, 0, 0, 0, 0, 0, 0, 0,
  152. /* 0xE8 - 0xEF */
  153. ImplicitOps, SrcImm|ImplicitOps, 0, SrcImmByte|ImplicitOps, 0, 0, 0, 0,
  154. /* 0xF0 - 0xF7 */
  155. 0, 0, 0, 0,
  156. ImplicitOps, 0,
  157. ByteOp | DstMem | SrcNone | ModRM, DstMem | SrcNone | ModRM,
  158. /* 0xF8 - 0xFF */
  159. 0, 0, 0, 0,
  160. 0, 0, ByteOp | DstMem | SrcNone | ModRM, DstMem | SrcNone | ModRM
  161. };
  162. static u16 twobyte_table[256] = {
  163. /* 0x00 - 0x0F */
  164. 0, SrcMem | ModRM | DstReg, 0, 0, 0, 0, ImplicitOps, 0,
  165. 0, ImplicitOps, 0, 0, 0, ImplicitOps | ModRM, 0, 0,
  166. /* 0x10 - 0x1F */
  167. 0, 0, 0, 0, 0, 0, 0, 0, ImplicitOps | ModRM, 0, 0, 0, 0, 0, 0, 0,
  168. /* 0x20 - 0x2F */
  169. ModRM | ImplicitOps, ModRM, ModRM | ImplicitOps, ModRM, 0, 0, 0, 0,
  170. 0, 0, 0, 0, 0, 0, 0, 0,
  171. /* 0x30 - 0x3F */
  172. ImplicitOps, 0, ImplicitOps, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  173. /* 0x40 - 0x47 */
  174. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  175. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  176. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  177. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  178. /* 0x48 - 0x4F */
  179. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  180. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  181. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  182. DstReg | SrcMem | ModRM | Mov, DstReg | SrcMem | ModRM | Mov,
  183. /* 0x50 - 0x5F */
  184. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  185. /* 0x60 - 0x6F */
  186. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  187. /* 0x70 - 0x7F */
  188. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  189. /* 0x80 - 0x8F */
  190. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  191. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  192. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  193. ImplicitOps, ImplicitOps, ImplicitOps, ImplicitOps,
  194. /* 0x90 - 0x9F */
  195. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  196. /* 0xA0 - 0xA7 */
  197. 0, 0, 0, DstMem | SrcReg | ModRM | BitOp, 0, 0, 0, 0,
  198. /* 0xA8 - 0xAF */
  199. 0, 0, 0, DstMem | SrcReg | ModRM | BitOp, 0, 0, 0, 0,
  200. /* 0xB0 - 0xB7 */
  201. ByteOp | DstMem | SrcReg | ModRM, DstMem | SrcReg | ModRM, 0,
  202. DstMem | SrcReg | ModRM | BitOp,
  203. 0, 0, ByteOp | DstReg | SrcMem | ModRM | Mov,
  204. DstReg | SrcMem16 | ModRM | Mov,
  205. /* 0xB8 - 0xBF */
  206. 0, 0, DstMem | SrcImmByte | ModRM, DstMem | SrcReg | ModRM | BitOp,
  207. 0, 0, ByteOp | DstReg | SrcMem | ModRM | Mov,
  208. DstReg | SrcMem16 | ModRM | Mov,
  209. /* 0xC0 - 0xCF */
  210. 0, 0, 0, 0, 0, 0, 0, ImplicitOps | ModRM, 0, 0, 0, 0, 0, 0, 0, 0,
  211. /* 0xD0 - 0xDF */
  212. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  213. /* 0xE0 - 0xEF */
  214. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
  215. /* 0xF0 - 0xFF */
  216. 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
  217. };
  218. /* Type, address-of, and value of an instruction's operand. */
  219. struct operand {
  220. enum { OP_REG, OP_MEM, OP_IMM } type;
  221. unsigned int bytes;
  222. unsigned long val, orig_val, *ptr;
  223. };
  224. /* EFLAGS bit definitions. */
  225. #define EFLG_OF (1<<11)
  226. #define EFLG_DF (1<<10)
  227. #define EFLG_SF (1<<7)
  228. #define EFLG_ZF (1<<6)
  229. #define EFLG_AF (1<<4)
  230. #define EFLG_PF (1<<2)
  231. #define EFLG_CF (1<<0)
  232. /*
  233. * Instruction emulation:
  234. * Most instructions are emulated directly via a fragment of inline assembly
  235. * code. This allows us to save/restore EFLAGS and thus very easily pick up
  236. * any modified flags.
  237. */
  238. #if defined(CONFIG_X86_64)
  239. #define _LO32 "k" /* force 32-bit operand */
  240. #define _STK "%%rsp" /* stack pointer */
  241. #elif defined(__i386__)
  242. #define _LO32 "" /* force 32-bit operand */
  243. #define _STK "%%esp" /* stack pointer */
  244. #endif
  245. /*
  246. * These EFLAGS bits are restored from saved value during emulation, and
  247. * any changes are written back to the saved value after emulation.
  248. */
  249. #define EFLAGS_MASK (EFLG_OF|EFLG_SF|EFLG_ZF|EFLG_AF|EFLG_PF|EFLG_CF)
  250. /* Before executing instruction: restore necessary bits in EFLAGS. */
  251. #define _PRE_EFLAGS(_sav, _msk, _tmp) \
  252. /* EFLAGS = (_sav & _msk) | (EFLAGS & ~_msk); */ \
  253. "push %"_sav"; " \
  254. "movl %"_msk",%"_LO32 _tmp"; " \
  255. "andl %"_LO32 _tmp",("_STK"); " \
  256. "pushf; " \
  257. "notl %"_LO32 _tmp"; " \
  258. "andl %"_LO32 _tmp",("_STK"); " \
  259. "pop %"_tmp"; " \
  260. "orl %"_LO32 _tmp",("_STK"); " \
  261. "popf; " \
  262. /* _sav &= ~msk; */ \
  263. "movl %"_msk",%"_LO32 _tmp"; " \
  264. "notl %"_LO32 _tmp"; " \
  265. "andl %"_LO32 _tmp",%"_sav"; "
  266. /* After executing instruction: write-back necessary bits in EFLAGS. */
  267. #define _POST_EFLAGS(_sav, _msk, _tmp) \
  268. /* _sav |= EFLAGS & _msk; */ \
  269. "pushf; " \
  270. "pop %"_tmp"; " \
  271. "andl %"_msk",%"_LO32 _tmp"; " \
  272. "orl %"_LO32 _tmp",%"_sav"; "
  273. /* Raw emulation: instruction has two explicit operands. */
  274. #define __emulate_2op_nobyte(_op,_src,_dst,_eflags,_wx,_wy,_lx,_ly,_qx,_qy) \
  275. do { \
  276. unsigned long _tmp; \
  277. \
  278. switch ((_dst).bytes) { \
  279. case 2: \
  280. __asm__ __volatile__ ( \
  281. _PRE_EFLAGS("0","4","2") \
  282. _op"w %"_wx"3,%1; " \
  283. _POST_EFLAGS("0","4","2") \
  284. : "=m" (_eflags), "=m" ((_dst).val), \
  285. "=&r" (_tmp) \
  286. : _wy ((_src).val), "i" (EFLAGS_MASK) ); \
  287. break; \
  288. case 4: \
  289. __asm__ __volatile__ ( \
  290. _PRE_EFLAGS("0","4","2") \
  291. _op"l %"_lx"3,%1; " \
  292. _POST_EFLAGS("0","4","2") \
  293. : "=m" (_eflags), "=m" ((_dst).val), \
  294. "=&r" (_tmp) \
  295. : _ly ((_src).val), "i" (EFLAGS_MASK) ); \
  296. break; \
  297. case 8: \
  298. __emulate_2op_8byte(_op, _src, _dst, \
  299. _eflags, _qx, _qy); \
  300. break; \
  301. } \
  302. } while (0)
  303. #define __emulate_2op(_op,_src,_dst,_eflags,_bx,_by,_wx,_wy,_lx,_ly,_qx,_qy) \
  304. do { \
  305. unsigned long _tmp; \
  306. switch ( (_dst).bytes ) \
  307. { \
  308. case 1: \
  309. __asm__ __volatile__ ( \
  310. _PRE_EFLAGS("0","4","2") \
  311. _op"b %"_bx"3,%1; " \
  312. _POST_EFLAGS("0","4","2") \
  313. : "=m" (_eflags), "=m" ((_dst).val), \
  314. "=&r" (_tmp) \
  315. : _by ((_src).val), "i" (EFLAGS_MASK) ); \
  316. break; \
  317. default: \
  318. __emulate_2op_nobyte(_op, _src, _dst, _eflags, \
  319. _wx, _wy, _lx, _ly, _qx, _qy); \
  320. break; \
  321. } \
  322. } while (0)
  323. /* Source operand is byte-sized and may be restricted to just %cl. */
  324. #define emulate_2op_SrcB(_op, _src, _dst, _eflags) \
  325. __emulate_2op(_op, _src, _dst, _eflags, \
  326. "b", "c", "b", "c", "b", "c", "b", "c")
  327. /* Source operand is byte, word, long or quad sized. */
  328. #define emulate_2op_SrcV(_op, _src, _dst, _eflags) \
  329. __emulate_2op(_op, _src, _dst, _eflags, \
  330. "b", "q", "w", "r", _LO32, "r", "", "r")
  331. /* Source operand is word, long or quad sized. */
  332. #define emulate_2op_SrcV_nobyte(_op, _src, _dst, _eflags) \
  333. __emulate_2op_nobyte(_op, _src, _dst, _eflags, \
  334. "w", "r", _LO32, "r", "", "r")
  335. /* Instruction has only one explicit operand (no source operand). */
  336. #define emulate_1op(_op, _dst, _eflags) \
  337. do { \
  338. unsigned long _tmp; \
  339. \
  340. switch ( (_dst).bytes ) \
  341. { \
  342. case 1: \
  343. __asm__ __volatile__ ( \
  344. _PRE_EFLAGS("0","3","2") \
  345. _op"b %1; " \
  346. _POST_EFLAGS("0","3","2") \
  347. : "=m" (_eflags), "=m" ((_dst).val), \
  348. "=&r" (_tmp) \
  349. : "i" (EFLAGS_MASK) ); \
  350. break; \
  351. case 2: \
  352. __asm__ __volatile__ ( \
  353. _PRE_EFLAGS("0","3","2") \
  354. _op"w %1; " \
  355. _POST_EFLAGS("0","3","2") \
  356. : "=m" (_eflags), "=m" ((_dst).val), \
  357. "=&r" (_tmp) \
  358. : "i" (EFLAGS_MASK) ); \
  359. break; \
  360. case 4: \
  361. __asm__ __volatile__ ( \
  362. _PRE_EFLAGS("0","3","2") \
  363. _op"l %1; " \
  364. _POST_EFLAGS("0","3","2") \
  365. : "=m" (_eflags), "=m" ((_dst).val), \
  366. "=&r" (_tmp) \
  367. : "i" (EFLAGS_MASK) ); \
  368. break; \
  369. case 8: \
  370. __emulate_1op_8byte(_op, _dst, _eflags); \
  371. break; \
  372. } \
  373. } while (0)
  374. /* Emulate an instruction with quadword operands (x86/64 only). */
  375. #if defined(CONFIG_X86_64)
  376. #define __emulate_2op_8byte(_op, _src, _dst, _eflags, _qx, _qy) \
  377. do { \
  378. __asm__ __volatile__ ( \
  379. _PRE_EFLAGS("0","4","2") \
  380. _op"q %"_qx"3,%1; " \
  381. _POST_EFLAGS("0","4","2") \
  382. : "=m" (_eflags), "=m" ((_dst).val), "=&r" (_tmp) \
  383. : _qy ((_src).val), "i" (EFLAGS_MASK) ); \
  384. } while (0)
  385. #define __emulate_1op_8byte(_op, _dst, _eflags) \
  386. do { \
  387. __asm__ __volatile__ ( \
  388. _PRE_EFLAGS("0","3","2") \
  389. _op"q %1; " \
  390. _POST_EFLAGS("0","3","2") \
  391. : "=m" (_eflags), "=m" ((_dst).val), "=&r" (_tmp) \
  392. : "i" (EFLAGS_MASK) ); \
  393. } while (0)
  394. #elif defined(__i386__)
  395. #define __emulate_2op_8byte(_op, _src, _dst, _eflags, _qx, _qy)
  396. #define __emulate_1op_8byte(_op, _dst, _eflags)
  397. #endif /* __i386__ */
  398. /* Fetch next part of the instruction being emulated. */
  399. #define insn_fetch(_type, _size, _eip) \
  400. ({ unsigned long _x; \
  401. rc = ops->read_std((unsigned long)(_eip) + ctxt->cs_base, &_x, \
  402. (_size), ctxt->vcpu); \
  403. if ( rc != 0 ) \
  404. goto done; \
  405. (_eip) += (_size); \
  406. (_type)_x; \
  407. })
  408. /* Access/update address held in a register, based on addressing mode. */
  409. #define address_mask(reg) \
  410. ((ad_bytes == sizeof(unsigned long)) ? \
  411. (reg) : ((reg) & ((1UL << (ad_bytes << 3)) - 1)))
  412. #define register_address(base, reg) \
  413. ((base) + address_mask(reg))
  414. #define register_address_increment(reg, inc) \
  415. do { \
  416. /* signed type ensures sign extension to long */ \
  417. int _inc = (inc); \
  418. if ( ad_bytes == sizeof(unsigned long) ) \
  419. (reg) += _inc; \
  420. else \
  421. (reg) = ((reg) & ~((1UL << (ad_bytes << 3)) - 1)) | \
  422. (((reg) + _inc) & ((1UL << (ad_bytes << 3)) - 1)); \
  423. } while (0)
  424. #define JMP_REL(rel) \
  425. do { \
  426. _eip += (int)(rel); \
  427. _eip = ((op_bytes == 2) ? (uint16_t)_eip : (uint32_t)_eip); \
  428. } while (0)
  429. /*
  430. * Given the 'reg' portion of a ModRM byte, and a register block, return a
  431. * pointer into the block that addresses the relevant register.
  432. * @highbyte_regs specifies whether to decode AH,CH,DH,BH.
  433. */
  434. static void *decode_register(u8 modrm_reg, unsigned long *regs,
  435. int highbyte_regs)
  436. {
  437. void *p;
  438. p = &regs[modrm_reg];
  439. if (highbyte_regs && modrm_reg >= 4 && modrm_reg < 8)
  440. p = (unsigned char *)&regs[modrm_reg & 3] + 1;
  441. return p;
  442. }
  443. static int read_descriptor(struct x86_emulate_ctxt *ctxt,
  444. struct x86_emulate_ops *ops,
  445. void *ptr,
  446. u16 *size, unsigned long *address, int op_bytes)
  447. {
  448. int rc;
  449. if (op_bytes == 2)
  450. op_bytes = 3;
  451. *address = 0;
  452. rc = ops->read_std((unsigned long)ptr, (unsigned long *)size, 2,
  453. ctxt->vcpu);
  454. if (rc)
  455. return rc;
  456. rc = ops->read_std((unsigned long)ptr + 2, address, op_bytes,
  457. ctxt->vcpu);
  458. return rc;
  459. }
  460. static int test_cc(unsigned int condition, unsigned int flags)
  461. {
  462. int rc = 0;
  463. switch ((condition & 15) >> 1) {
  464. case 0: /* o */
  465. rc |= (flags & EFLG_OF);
  466. break;
  467. case 1: /* b/c/nae */
  468. rc |= (flags & EFLG_CF);
  469. break;
  470. case 2: /* z/e */
  471. rc |= (flags & EFLG_ZF);
  472. break;
  473. case 3: /* be/na */
  474. rc |= (flags & (EFLG_CF|EFLG_ZF));
  475. break;
  476. case 4: /* s */
  477. rc |= (flags & EFLG_SF);
  478. break;
  479. case 5: /* p/pe */
  480. rc |= (flags & EFLG_PF);
  481. break;
  482. case 7: /* le/ng */
  483. rc |= (flags & EFLG_ZF);
  484. /* fall through */
  485. case 6: /* l/nge */
  486. rc |= (!(flags & EFLG_SF) != !(flags & EFLG_OF));
  487. break;
  488. }
  489. /* Odd condition identifiers (lsb == 1) have inverted sense. */
  490. return (!!rc ^ (condition & 1));
  491. }
  492. int
  493. x86_emulate_memop(struct x86_emulate_ctxt *ctxt, struct x86_emulate_ops *ops)
  494. {
  495. unsigned d;
  496. u8 b, sib, twobyte = 0, rex_prefix = 0;
  497. u8 modrm, modrm_mod = 0, modrm_reg = 0, modrm_rm = 0;
  498. unsigned long *override_base = NULL;
  499. unsigned int op_bytes, ad_bytes, lock_prefix = 0, rep_prefix = 0, i;
  500. int rc = 0;
  501. struct operand src, dst;
  502. unsigned long cr2 = ctxt->cr2;
  503. int mode = ctxt->mode;
  504. unsigned long modrm_ea;
  505. int use_modrm_ea, index_reg = 0, base_reg = 0, scale, rip_relative = 0;
  506. int no_wb = 0;
  507. u64 msr_data;
  508. /* Shadow copy of register state. Committed on successful emulation. */
  509. unsigned long _regs[NR_VCPU_REGS];
  510. unsigned long _eip = ctxt->vcpu->rip, _eflags = ctxt->eflags;
  511. unsigned long modrm_val = 0;
  512. memcpy(_regs, ctxt->vcpu->regs, sizeof _regs);
  513. switch (mode) {
  514. case X86EMUL_MODE_REAL:
  515. case X86EMUL_MODE_PROT16:
  516. op_bytes = ad_bytes = 2;
  517. break;
  518. case X86EMUL_MODE_PROT32:
  519. op_bytes = ad_bytes = 4;
  520. break;
  521. #ifdef CONFIG_X86_64
  522. case X86EMUL_MODE_PROT64:
  523. op_bytes = 4;
  524. ad_bytes = 8;
  525. break;
  526. #endif
  527. default:
  528. return -1;
  529. }
  530. /* Legacy prefixes. */
  531. for (i = 0; i < 8; i++) {
  532. switch (b = insn_fetch(u8, 1, _eip)) {
  533. case 0x66: /* operand-size override */
  534. op_bytes ^= 6; /* switch between 2/4 bytes */
  535. break;
  536. case 0x67: /* address-size override */
  537. if (mode == X86EMUL_MODE_PROT64)
  538. ad_bytes ^= 12; /* switch between 4/8 bytes */
  539. else
  540. ad_bytes ^= 6; /* switch between 2/4 bytes */
  541. break;
  542. case 0x2e: /* CS override */
  543. override_base = &ctxt->cs_base;
  544. break;
  545. case 0x3e: /* DS override */
  546. override_base = &ctxt->ds_base;
  547. break;
  548. case 0x26: /* ES override */
  549. override_base = &ctxt->es_base;
  550. break;
  551. case 0x64: /* FS override */
  552. override_base = &ctxt->fs_base;
  553. break;
  554. case 0x65: /* GS override */
  555. override_base = &ctxt->gs_base;
  556. break;
  557. case 0x36: /* SS override */
  558. override_base = &ctxt->ss_base;
  559. break;
  560. case 0xf0: /* LOCK */
  561. lock_prefix = 1;
  562. break;
  563. case 0xf3: /* REP/REPE/REPZ */
  564. rep_prefix = 1;
  565. break;
  566. case 0xf2: /* REPNE/REPNZ */
  567. break;
  568. default:
  569. goto done_prefixes;
  570. }
  571. }
  572. done_prefixes:
  573. /* REX prefix. */
  574. if ((mode == X86EMUL_MODE_PROT64) && ((b & 0xf0) == 0x40)) {
  575. rex_prefix = b;
  576. if (b & 8)
  577. op_bytes = 8; /* REX.W */
  578. modrm_reg = (b & 4) << 1; /* REX.R */
  579. index_reg = (b & 2) << 2; /* REX.X */
  580. modrm_rm = base_reg = (b & 1) << 3; /* REG.B */
  581. b = insn_fetch(u8, 1, _eip);
  582. }
  583. /* Opcode byte(s). */
  584. d = opcode_table[b];
  585. if (d == 0) {
  586. /* Two-byte opcode? */
  587. if (b == 0x0f) {
  588. twobyte = 1;
  589. b = insn_fetch(u8, 1, _eip);
  590. d = twobyte_table[b];
  591. }
  592. /* Unrecognised? */
  593. if (d == 0)
  594. goto cannot_emulate;
  595. }
  596. /* ModRM and SIB bytes. */
  597. if (d & ModRM) {
  598. modrm = insn_fetch(u8, 1, _eip);
  599. modrm_mod |= (modrm & 0xc0) >> 6;
  600. modrm_reg |= (modrm & 0x38) >> 3;
  601. modrm_rm |= (modrm & 0x07);
  602. modrm_ea = 0;
  603. use_modrm_ea = 1;
  604. if (modrm_mod == 3) {
  605. modrm_val = *(unsigned long *)
  606. decode_register(modrm_rm, _regs, d & ByteOp);
  607. goto modrm_done;
  608. }
  609. if (ad_bytes == 2) {
  610. unsigned bx = _regs[VCPU_REGS_RBX];
  611. unsigned bp = _regs[VCPU_REGS_RBP];
  612. unsigned si = _regs[VCPU_REGS_RSI];
  613. unsigned di = _regs[VCPU_REGS_RDI];
  614. /* 16-bit ModR/M decode. */
  615. switch (modrm_mod) {
  616. case 0:
  617. if (modrm_rm == 6)
  618. modrm_ea += insn_fetch(u16, 2, _eip);
  619. break;
  620. case 1:
  621. modrm_ea += insn_fetch(s8, 1, _eip);
  622. break;
  623. case 2:
  624. modrm_ea += insn_fetch(u16, 2, _eip);
  625. break;
  626. }
  627. switch (modrm_rm) {
  628. case 0:
  629. modrm_ea += bx + si;
  630. break;
  631. case 1:
  632. modrm_ea += bx + di;
  633. break;
  634. case 2:
  635. modrm_ea += bp + si;
  636. break;
  637. case 3:
  638. modrm_ea += bp + di;
  639. break;
  640. case 4:
  641. modrm_ea += si;
  642. break;
  643. case 5:
  644. modrm_ea += di;
  645. break;
  646. case 6:
  647. if (modrm_mod != 0)
  648. modrm_ea += bp;
  649. break;
  650. case 7:
  651. modrm_ea += bx;
  652. break;
  653. }
  654. if (modrm_rm == 2 || modrm_rm == 3 ||
  655. (modrm_rm == 6 && modrm_mod != 0))
  656. if (!override_base)
  657. override_base = &ctxt->ss_base;
  658. modrm_ea = (u16)modrm_ea;
  659. } else {
  660. /* 32/64-bit ModR/M decode. */
  661. switch (modrm_rm) {
  662. case 4:
  663. case 12:
  664. sib = insn_fetch(u8, 1, _eip);
  665. index_reg |= (sib >> 3) & 7;
  666. base_reg |= sib & 7;
  667. scale = sib >> 6;
  668. switch (base_reg) {
  669. case 5:
  670. if (modrm_mod != 0)
  671. modrm_ea += _regs[base_reg];
  672. else
  673. modrm_ea += insn_fetch(s32, 4, _eip);
  674. break;
  675. default:
  676. modrm_ea += _regs[base_reg];
  677. }
  678. switch (index_reg) {
  679. case 4:
  680. break;
  681. default:
  682. modrm_ea += _regs[index_reg] << scale;
  683. }
  684. break;
  685. case 5:
  686. if (modrm_mod != 0)
  687. modrm_ea += _regs[modrm_rm];
  688. else if (mode == X86EMUL_MODE_PROT64)
  689. rip_relative = 1;
  690. break;
  691. default:
  692. modrm_ea += _regs[modrm_rm];
  693. break;
  694. }
  695. switch (modrm_mod) {
  696. case 0:
  697. if (modrm_rm == 5)
  698. modrm_ea += insn_fetch(s32, 4, _eip);
  699. break;
  700. case 1:
  701. modrm_ea += insn_fetch(s8, 1, _eip);
  702. break;
  703. case 2:
  704. modrm_ea += insn_fetch(s32, 4, _eip);
  705. break;
  706. }
  707. }
  708. if (!override_base)
  709. override_base = &ctxt->ds_base;
  710. if (mode == X86EMUL_MODE_PROT64 &&
  711. override_base != &ctxt->fs_base &&
  712. override_base != &ctxt->gs_base)
  713. override_base = NULL;
  714. if (override_base)
  715. modrm_ea += *override_base;
  716. if (rip_relative) {
  717. modrm_ea += _eip;
  718. switch (d & SrcMask) {
  719. case SrcImmByte:
  720. modrm_ea += 1;
  721. break;
  722. case SrcImm:
  723. if (d & ByteOp)
  724. modrm_ea += 1;
  725. else
  726. if (op_bytes == 8)
  727. modrm_ea += 4;
  728. else
  729. modrm_ea += op_bytes;
  730. }
  731. }
  732. if (ad_bytes != 8)
  733. modrm_ea = (u32)modrm_ea;
  734. cr2 = modrm_ea;
  735. modrm_done:
  736. ;
  737. }
  738. /*
  739. * Decode and fetch the source operand: register, memory
  740. * or immediate.
  741. */
  742. switch (d & SrcMask) {
  743. case SrcNone:
  744. break;
  745. case SrcReg:
  746. src.type = OP_REG;
  747. if (d & ByteOp) {
  748. src.ptr = decode_register(modrm_reg, _regs,
  749. (rex_prefix == 0));
  750. src.val = src.orig_val = *(u8 *) src.ptr;
  751. src.bytes = 1;
  752. } else {
  753. src.ptr = decode_register(modrm_reg, _regs, 0);
  754. switch ((src.bytes = op_bytes)) {
  755. case 2:
  756. src.val = src.orig_val = *(u16 *) src.ptr;
  757. break;
  758. case 4:
  759. src.val = src.orig_val = *(u32 *) src.ptr;
  760. break;
  761. case 8:
  762. src.val = src.orig_val = *(u64 *) src.ptr;
  763. break;
  764. }
  765. }
  766. break;
  767. case SrcMem16:
  768. src.bytes = 2;
  769. goto srcmem_common;
  770. case SrcMem32:
  771. src.bytes = 4;
  772. goto srcmem_common;
  773. case SrcMem:
  774. src.bytes = (d & ByteOp) ? 1 : op_bytes;
  775. /* Don't fetch the address for invlpg: it could be unmapped. */
  776. if (twobyte && b == 0x01 && modrm_reg == 7)
  777. break;
  778. srcmem_common:
  779. src.type = OP_MEM;
  780. src.ptr = (unsigned long *)cr2;
  781. if ((rc = ops->read_emulated((unsigned long)src.ptr,
  782. &src.val, src.bytes, ctxt->vcpu)) != 0)
  783. goto done;
  784. src.orig_val = src.val;
  785. break;
  786. case SrcImm:
  787. src.type = OP_IMM;
  788. src.ptr = (unsigned long *)_eip;
  789. src.bytes = (d & ByteOp) ? 1 : op_bytes;
  790. if (src.bytes == 8)
  791. src.bytes = 4;
  792. /* NB. Immediates are sign-extended as necessary. */
  793. switch (src.bytes) {
  794. case 1:
  795. src.val = insn_fetch(s8, 1, _eip);
  796. break;
  797. case 2:
  798. src.val = insn_fetch(s16, 2, _eip);
  799. break;
  800. case 4:
  801. src.val = insn_fetch(s32, 4, _eip);
  802. break;
  803. }
  804. break;
  805. case SrcImmByte:
  806. src.type = OP_IMM;
  807. src.ptr = (unsigned long *)_eip;
  808. src.bytes = 1;
  809. src.val = insn_fetch(s8, 1, _eip);
  810. break;
  811. }
  812. /* Decode and fetch the destination operand: register or memory. */
  813. switch (d & DstMask) {
  814. case ImplicitOps:
  815. /* Special instructions do their own operand decoding. */
  816. goto special_insn;
  817. case DstReg:
  818. dst.type = OP_REG;
  819. if ((d & ByteOp)
  820. && !(twobyte && (b == 0xb6 || b == 0xb7))) {
  821. dst.ptr = decode_register(modrm_reg, _regs,
  822. (rex_prefix == 0));
  823. dst.val = *(u8 *) dst.ptr;
  824. dst.bytes = 1;
  825. } else {
  826. dst.ptr = decode_register(modrm_reg, _regs, 0);
  827. switch ((dst.bytes = op_bytes)) {
  828. case 2:
  829. dst.val = *(u16 *)dst.ptr;
  830. break;
  831. case 4:
  832. dst.val = *(u32 *)dst.ptr;
  833. break;
  834. case 8:
  835. dst.val = *(u64 *)dst.ptr;
  836. break;
  837. }
  838. }
  839. break;
  840. case DstMem:
  841. dst.type = OP_MEM;
  842. dst.ptr = (unsigned long *)cr2;
  843. dst.bytes = (d & ByteOp) ? 1 : op_bytes;
  844. if (d & BitOp) {
  845. unsigned long mask = ~(dst.bytes * 8 - 1);
  846. dst.ptr = (void *)dst.ptr + (src.val & mask) / 8;
  847. }
  848. if (!(d & Mov) && /* optimisation - avoid slow emulated read */
  849. ((rc = ops->read_emulated((unsigned long)dst.ptr,
  850. &dst.val, dst.bytes, ctxt->vcpu)) != 0))
  851. goto done;
  852. break;
  853. }
  854. dst.orig_val = dst.val;
  855. if (twobyte)
  856. goto twobyte_insn;
  857. switch (b) {
  858. case 0x00 ... 0x05:
  859. add: /* add */
  860. emulate_2op_SrcV("add", src, dst, _eflags);
  861. break;
  862. case 0x08 ... 0x0d:
  863. or: /* or */
  864. emulate_2op_SrcV("or", src, dst, _eflags);
  865. break;
  866. case 0x10 ... 0x15:
  867. adc: /* adc */
  868. emulate_2op_SrcV("adc", src, dst, _eflags);
  869. break;
  870. case 0x18 ... 0x1d:
  871. sbb: /* sbb */
  872. emulate_2op_SrcV("sbb", src, dst, _eflags);
  873. break;
  874. case 0x20 ... 0x23:
  875. and: /* and */
  876. emulate_2op_SrcV("and", src, dst, _eflags);
  877. break;
  878. case 0x24: /* and al imm8 */
  879. dst.type = OP_REG;
  880. dst.ptr = &_regs[VCPU_REGS_RAX];
  881. dst.val = *(u8 *)dst.ptr;
  882. dst.bytes = 1;
  883. dst.orig_val = dst.val;
  884. goto and;
  885. case 0x25: /* and ax imm16, or eax imm32 */
  886. dst.type = OP_REG;
  887. dst.bytes = op_bytes;
  888. dst.ptr = &_regs[VCPU_REGS_RAX];
  889. if (op_bytes == 2)
  890. dst.val = *(u16 *)dst.ptr;
  891. else
  892. dst.val = *(u32 *)dst.ptr;
  893. dst.orig_val = dst.val;
  894. goto and;
  895. case 0x28 ... 0x2d:
  896. sub: /* sub */
  897. emulate_2op_SrcV("sub", src, dst, _eflags);
  898. break;
  899. case 0x30 ... 0x35:
  900. xor: /* xor */
  901. emulate_2op_SrcV("xor", src, dst, _eflags);
  902. break;
  903. case 0x38 ... 0x3d:
  904. cmp: /* cmp */
  905. emulate_2op_SrcV("cmp", src, dst, _eflags);
  906. break;
  907. case 0x63: /* movsxd */
  908. if (mode != X86EMUL_MODE_PROT64)
  909. goto cannot_emulate;
  910. dst.val = (s32) src.val;
  911. break;
  912. case 0x6a: /* push imm8 */
  913. src.val = 0L;
  914. src.val = insn_fetch(s8, 1, _eip);
  915. push:
  916. dst.type = OP_MEM;
  917. dst.bytes = op_bytes;
  918. dst.val = src.val;
  919. register_address_increment(_regs[VCPU_REGS_RSP], -op_bytes);
  920. dst.ptr = (void *) register_address(ctxt->ss_base,
  921. _regs[VCPU_REGS_RSP]);
  922. break;
  923. case 0x80 ... 0x83: /* Grp1 */
  924. switch (modrm_reg) {
  925. case 0:
  926. goto add;
  927. case 1:
  928. goto or;
  929. case 2:
  930. goto adc;
  931. case 3:
  932. goto sbb;
  933. case 4:
  934. goto and;
  935. case 5:
  936. goto sub;
  937. case 6:
  938. goto xor;
  939. case 7:
  940. goto cmp;
  941. }
  942. break;
  943. case 0x84 ... 0x85:
  944. test: /* test */
  945. emulate_2op_SrcV("test", src, dst, _eflags);
  946. break;
  947. case 0x86 ... 0x87: /* xchg */
  948. /* Write back the register source. */
  949. switch (dst.bytes) {
  950. case 1:
  951. *(u8 *) src.ptr = (u8) dst.val;
  952. break;
  953. case 2:
  954. *(u16 *) src.ptr = (u16) dst.val;
  955. break;
  956. case 4:
  957. *src.ptr = (u32) dst.val;
  958. break; /* 64b reg: zero-extend */
  959. case 8:
  960. *src.ptr = dst.val;
  961. break;
  962. }
  963. /*
  964. * Write back the memory destination with implicit LOCK
  965. * prefix.
  966. */
  967. dst.val = src.val;
  968. lock_prefix = 1;
  969. break;
  970. case 0x88 ... 0x8b: /* mov */
  971. goto mov;
  972. case 0x8f: /* pop (sole member of Grp1a) */
  973. /* 64-bit mode: POP always pops a 64-bit operand. */
  974. if (mode == X86EMUL_MODE_PROT64)
  975. dst.bytes = 8;
  976. if ((rc = ops->read_std(register_address(ctxt->ss_base,
  977. _regs[VCPU_REGS_RSP]),
  978. &dst.val, dst.bytes, ctxt->vcpu)) != 0)
  979. goto done;
  980. register_address_increment(_regs[VCPU_REGS_RSP], dst.bytes);
  981. break;
  982. case 0xa0 ... 0xa1: /* mov */
  983. dst.ptr = (unsigned long *)&_regs[VCPU_REGS_RAX];
  984. dst.val = src.val;
  985. _eip += ad_bytes; /* skip src displacement */
  986. break;
  987. case 0xa2 ... 0xa3: /* mov */
  988. dst.val = (unsigned long)_regs[VCPU_REGS_RAX];
  989. _eip += ad_bytes; /* skip dst displacement */
  990. break;
  991. case 0xc0 ... 0xc1:
  992. grp2: /* Grp2 */
  993. switch (modrm_reg) {
  994. case 0: /* rol */
  995. emulate_2op_SrcB("rol", src, dst, _eflags);
  996. break;
  997. case 1: /* ror */
  998. emulate_2op_SrcB("ror", src, dst, _eflags);
  999. break;
  1000. case 2: /* rcl */
  1001. emulate_2op_SrcB("rcl", src, dst, _eflags);
  1002. break;
  1003. case 3: /* rcr */
  1004. emulate_2op_SrcB("rcr", src, dst, _eflags);
  1005. break;
  1006. case 4: /* sal/shl */
  1007. case 6: /* sal/shl */
  1008. emulate_2op_SrcB("sal", src, dst, _eflags);
  1009. break;
  1010. case 5: /* shr */
  1011. emulate_2op_SrcB("shr", src, dst, _eflags);
  1012. break;
  1013. case 7: /* sar */
  1014. emulate_2op_SrcB("sar", src, dst, _eflags);
  1015. break;
  1016. }
  1017. break;
  1018. case 0xc6 ... 0xc7: /* mov (sole member of Grp11) */
  1019. mov:
  1020. dst.val = src.val;
  1021. break;
  1022. case 0xd0 ... 0xd1: /* Grp2 */
  1023. src.val = 1;
  1024. goto grp2;
  1025. case 0xd2 ... 0xd3: /* Grp2 */
  1026. src.val = _regs[VCPU_REGS_RCX];
  1027. goto grp2;
  1028. case 0xe8: /* call (near) */ {
  1029. long int rel;
  1030. switch (op_bytes) {
  1031. case 2:
  1032. rel = insn_fetch(s16, 2, _eip);
  1033. break;
  1034. case 4:
  1035. rel = insn_fetch(s32, 4, _eip);
  1036. break;
  1037. case 8:
  1038. rel = insn_fetch(s64, 8, _eip);
  1039. break;
  1040. default:
  1041. DPRINTF("Call: Invalid op_bytes\n");
  1042. goto cannot_emulate;
  1043. }
  1044. src.val = (unsigned long) _eip;
  1045. JMP_REL(rel);
  1046. goto push;
  1047. }
  1048. case 0xe9: /* jmp rel */
  1049. case 0xeb: /* jmp rel short */
  1050. JMP_REL(src.val);
  1051. no_wb = 1; /* Disable writeback. */
  1052. break;
  1053. case 0xf6 ... 0xf7: /* Grp3 */
  1054. switch (modrm_reg) {
  1055. case 0 ... 1: /* test */
  1056. /*
  1057. * Special case in Grp3: test has an immediate
  1058. * source operand.
  1059. */
  1060. src.type = OP_IMM;
  1061. src.ptr = (unsigned long *)_eip;
  1062. src.bytes = (d & ByteOp) ? 1 : op_bytes;
  1063. if (src.bytes == 8)
  1064. src.bytes = 4;
  1065. switch (src.bytes) {
  1066. case 1:
  1067. src.val = insn_fetch(s8, 1, _eip);
  1068. break;
  1069. case 2:
  1070. src.val = insn_fetch(s16, 2, _eip);
  1071. break;
  1072. case 4:
  1073. src.val = insn_fetch(s32, 4, _eip);
  1074. break;
  1075. }
  1076. goto test;
  1077. case 2: /* not */
  1078. dst.val = ~dst.val;
  1079. break;
  1080. case 3: /* neg */
  1081. emulate_1op("neg", dst, _eflags);
  1082. break;
  1083. default:
  1084. goto cannot_emulate;
  1085. }
  1086. break;
  1087. case 0xfe ... 0xff: /* Grp4/Grp5 */
  1088. switch (modrm_reg) {
  1089. case 0: /* inc */
  1090. emulate_1op("inc", dst, _eflags);
  1091. break;
  1092. case 1: /* dec */
  1093. emulate_1op("dec", dst, _eflags);
  1094. break;
  1095. case 6: /* push */
  1096. /* 64-bit mode: PUSH always pushes a 64-bit operand. */
  1097. if (mode == X86EMUL_MODE_PROT64) {
  1098. dst.bytes = 8;
  1099. if ((rc = ops->read_std((unsigned long)dst.ptr,
  1100. &dst.val, 8,
  1101. ctxt->vcpu)) != 0)
  1102. goto done;
  1103. }
  1104. register_address_increment(_regs[VCPU_REGS_RSP],
  1105. -dst.bytes);
  1106. if ((rc = ops->write_std(
  1107. register_address(ctxt->ss_base,
  1108. _regs[VCPU_REGS_RSP]),
  1109. &dst.val, dst.bytes, ctxt->vcpu)) != 0)
  1110. goto done;
  1111. no_wb = 1;
  1112. break;
  1113. default:
  1114. goto cannot_emulate;
  1115. }
  1116. break;
  1117. }
  1118. writeback:
  1119. if (!no_wb) {
  1120. switch (dst.type) {
  1121. case OP_REG:
  1122. /* The 4-byte case *is* correct: in 64-bit mode we zero-extend. */
  1123. switch (dst.bytes) {
  1124. case 1:
  1125. *(u8 *)dst.ptr = (u8)dst.val;
  1126. break;
  1127. case 2:
  1128. *(u16 *)dst.ptr = (u16)dst.val;
  1129. break;
  1130. case 4:
  1131. *dst.ptr = (u32)dst.val;
  1132. break; /* 64b: zero-ext */
  1133. case 8:
  1134. *dst.ptr = dst.val;
  1135. break;
  1136. }
  1137. break;
  1138. case OP_MEM:
  1139. if (lock_prefix)
  1140. rc = ops->cmpxchg_emulated((unsigned long)dst.
  1141. ptr, &dst.orig_val,
  1142. &dst.val, dst.bytes,
  1143. ctxt->vcpu);
  1144. else
  1145. rc = ops->write_emulated((unsigned long)dst.ptr,
  1146. &dst.val, dst.bytes,
  1147. ctxt->vcpu);
  1148. if (rc != 0)
  1149. goto done;
  1150. default:
  1151. break;
  1152. }
  1153. }
  1154. /* Commit shadow register state. */
  1155. memcpy(ctxt->vcpu->regs, _regs, sizeof _regs);
  1156. ctxt->eflags = _eflags;
  1157. ctxt->vcpu->rip = _eip;
  1158. done:
  1159. return (rc == X86EMUL_UNHANDLEABLE) ? -1 : 0;
  1160. special_insn:
  1161. if (twobyte)
  1162. goto twobyte_special_insn;
  1163. switch(b) {
  1164. case 0x50 ... 0x57: /* push reg */
  1165. if (op_bytes == 2)
  1166. src.val = (u16) _regs[b & 0x7];
  1167. else
  1168. src.val = (u32) _regs[b & 0x7];
  1169. dst.type = OP_MEM;
  1170. dst.bytes = op_bytes;
  1171. dst.val = src.val;
  1172. register_address_increment(_regs[VCPU_REGS_RSP], -op_bytes);
  1173. dst.ptr = (void *) register_address(
  1174. ctxt->ss_base, _regs[VCPU_REGS_RSP]);
  1175. break;
  1176. case 0x58 ... 0x5f: /* pop reg */
  1177. dst.ptr = (unsigned long *)&_regs[b & 0x7];
  1178. pop_instruction:
  1179. if ((rc = ops->read_std(register_address(ctxt->ss_base,
  1180. _regs[VCPU_REGS_RSP]), dst.ptr, op_bytes, ctxt->vcpu))
  1181. != 0)
  1182. goto done;
  1183. register_address_increment(_regs[VCPU_REGS_RSP], op_bytes);
  1184. no_wb = 1; /* Disable writeback. */
  1185. break;
  1186. case 0x6c: /* insb */
  1187. case 0x6d: /* insw/insd */
  1188. if (kvm_emulate_pio_string(ctxt->vcpu, NULL,
  1189. 1, /* in */
  1190. (d & ByteOp) ? 1 : op_bytes, /* size */
  1191. rep_prefix ?
  1192. address_mask(_regs[VCPU_REGS_RCX]) : 1, /* count */
  1193. (_eflags & EFLG_DF), /* down */
  1194. register_address(ctxt->es_base,
  1195. _regs[VCPU_REGS_RDI]), /* address */
  1196. rep_prefix,
  1197. _regs[VCPU_REGS_RDX] /* port */
  1198. ) == 0)
  1199. return -1;
  1200. return 0;
  1201. case 0x6e: /* outsb */
  1202. case 0x6f: /* outsw/outsd */
  1203. if (kvm_emulate_pio_string(ctxt->vcpu, NULL,
  1204. 0, /* in */
  1205. (d & ByteOp) ? 1 : op_bytes, /* size */
  1206. rep_prefix ?
  1207. address_mask(_regs[VCPU_REGS_RCX]) : 1, /* count */
  1208. (_eflags & EFLG_DF), /* down */
  1209. register_address(override_base ?
  1210. *override_base : ctxt->ds_base,
  1211. _regs[VCPU_REGS_RSI]), /* address */
  1212. rep_prefix,
  1213. _regs[VCPU_REGS_RDX] /* port */
  1214. ) == 0)
  1215. return -1;
  1216. return 0;
  1217. case 0x70 ... 0x7f: /* jcc (short) */ {
  1218. int rel = insn_fetch(s8, 1, _eip);
  1219. if (test_cc(b, _eflags))
  1220. JMP_REL(rel);
  1221. break;
  1222. }
  1223. case 0x9c: /* pushf */
  1224. src.val = (unsigned long) _eflags;
  1225. goto push;
  1226. case 0xc3: /* ret */
  1227. dst.ptr = &_eip;
  1228. goto pop_instruction;
  1229. case 0xf4: /* hlt */
  1230. ctxt->vcpu->halt_request = 1;
  1231. goto done;
  1232. }
  1233. if (rep_prefix) {
  1234. if (_regs[VCPU_REGS_RCX] == 0) {
  1235. ctxt->vcpu->rip = _eip;
  1236. goto done;
  1237. }
  1238. _regs[VCPU_REGS_RCX]--;
  1239. _eip = ctxt->vcpu->rip;
  1240. }
  1241. switch (b) {
  1242. case 0xa4 ... 0xa5: /* movs */
  1243. dst.type = OP_MEM;
  1244. dst.bytes = (d & ByteOp) ? 1 : op_bytes;
  1245. dst.ptr = (unsigned long *)register_address(ctxt->es_base,
  1246. _regs[VCPU_REGS_RDI]);
  1247. if ((rc = ops->read_emulated(register_address(
  1248. override_base ? *override_base : ctxt->ds_base,
  1249. _regs[VCPU_REGS_RSI]), &dst.val, dst.bytes, ctxt->vcpu)) != 0)
  1250. goto done;
  1251. register_address_increment(_regs[VCPU_REGS_RSI],
  1252. (_eflags & EFLG_DF) ? -dst.bytes : dst.bytes);
  1253. register_address_increment(_regs[VCPU_REGS_RDI],
  1254. (_eflags & EFLG_DF) ? -dst.bytes : dst.bytes);
  1255. break;
  1256. case 0xa6 ... 0xa7: /* cmps */
  1257. DPRINTF("Urk! I don't handle CMPS.\n");
  1258. goto cannot_emulate;
  1259. case 0xaa ... 0xab: /* stos */
  1260. dst.type = OP_MEM;
  1261. dst.bytes = (d & ByteOp) ? 1 : op_bytes;
  1262. dst.ptr = (unsigned long *)cr2;
  1263. dst.val = _regs[VCPU_REGS_RAX];
  1264. register_address_increment(_regs[VCPU_REGS_RDI],
  1265. (_eflags & EFLG_DF) ? -dst.bytes : dst.bytes);
  1266. break;
  1267. case 0xac ... 0xad: /* lods */
  1268. dst.type = OP_REG;
  1269. dst.bytes = (d & ByteOp) ? 1 : op_bytes;
  1270. dst.ptr = (unsigned long *)&_regs[VCPU_REGS_RAX];
  1271. if ((rc = ops->read_emulated(cr2, &dst.val, dst.bytes,
  1272. ctxt->vcpu)) != 0)
  1273. goto done;
  1274. register_address_increment(_regs[VCPU_REGS_RSI],
  1275. (_eflags & EFLG_DF) ? -dst.bytes : dst.bytes);
  1276. break;
  1277. case 0xae ... 0xaf: /* scas */
  1278. DPRINTF("Urk! I don't handle SCAS.\n");
  1279. goto cannot_emulate;
  1280. }
  1281. goto writeback;
  1282. twobyte_insn:
  1283. switch (b) {
  1284. case 0x01: /* lgdt, lidt, lmsw */
  1285. /* Disable writeback. */
  1286. no_wb = 1;
  1287. switch (modrm_reg) {
  1288. u16 size;
  1289. unsigned long address;
  1290. case 2: /* lgdt */
  1291. rc = read_descriptor(ctxt, ops, src.ptr,
  1292. &size, &address, op_bytes);
  1293. if (rc)
  1294. goto done;
  1295. realmode_lgdt(ctxt->vcpu, size, address);
  1296. break;
  1297. case 3: /* lidt */
  1298. rc = read_descriptor(ctxt, ops, src.ptr,
  1299. &size, &address, op_bytes);
  1300. if (rc)
  1301. goto done;
  1302. realmode_lidt(ctxt->vcpu, size, address);
  1303. break;
  1304. case 4: /* smsw */
  1305. if (modrm_mod != 3)
  1306. goto cannot_emulate;
  1307. *(u16 *)&_regs[modrm_rm]
  1308. = realmode_get_cr(ctxt->vcpu, 0);
  1309. break;
  1310. case 6: /* lmsw */
  1311. if (modrm_mod != 3)
  1312. goto cannot_emulate;
  1313. realmode_lmsw(ctxt->vcpu, (u16)modrm_val, &_eflags);
  1314. break;
  1315. case 7: /* invlpg*/
  1316. emulate_invlpg(ctxt->vcpu, cr2);
  1317. break;
  1318. default:
  1319. goto cannot_emulate;
  1320. }
  1321. break;
  1322. case 0x21: /* mov from dr to reg */
  1323. no_wb = 1;
  1324. if (modrm_mod != 3)
  1325. goto cannot_emulate;
  1326. rc = emulator_get_dr(ctxt, modrm_reg, &_regs[modrm_rm]);
  1327. break;
  1328. case 0x23: /* mov from reg to dr */
  1329. no_wb = 1;
  1330. if (modrm_mod != 3)
  1331. goto cannot_emulate;
  1332. rc = emulator_set_dr(ctxt, modrm_reg, _regs[modrm_rm]);
  1333. break;
  1334. case 0x40 ... 0x4f: /* cmov */
  1335. dst.val = dst.orig_val = src.val;
  1336. no_wb = 1;
  1337. /*
  1338. * First, assume we're decoding an even cmov opcode
  1339. * (lsb == 0).
  1340. */
  1341. switch ((b & 15) >> 1) {
  1342. case 0: /* cmovo */
  1343. no_wb = (_eflags & EFLG_OF) ? 0 : 1;
  1344. break;
  1345. case 1: /* cmovb/cmovc/cmovnae */
  1346. no_wb = (_eflags & EFLG_CF) ? 0 : 1;
  1347. break;
  1348. case 2: /* cmovz/cmove */
  1349. no_wb = (_eflags & EFLG_ZF) ? 0 : 1;
  1350. break;
  1351. case 3: /* cmovbe/cmovna */
  1352. no_wb = (_eflags & (EFLG_CF | EFLG_ZF)) ? 0 : 1;
  1353. break;
  1354. case 4: /* cmovs */
  1355. no_wb = (_eflags & EFLG_SF) ? 0 : 1;
  1356. break;
  1357. case 5: /* cmovp/cmovpe */
  1358. no_wb = (_eflags & EFLG_PF) ? 0 : 1;
  1359. break;
  1360. case 7: /* cmovle/cmovng */
  1361. no_wb = (_eflags & EFLG_ZF) ? 0 : 1;
  1362. /* fall through */
  1363. case 6: /* cmovl/cmovnge */
  1364. no_wb &= (!(_eflags & EFLG_SF) !=
  1365. !(_eflags & EFLG_OF)) ? 0 : 1;
  1366. break;
  1367. }
  1368. /* Odd cmov opcodes (lsb == 1) have inverted sense. */
  1369. no_wb ^= b & 1;
  1370. break;
  1371. case 0xa3:
  1372. bt: /* bt */
  1373. src.val &= (dst.bytes << 3) - 1; /* only subword offset */
  1374. emulate_2op_SrcV_nobyte("bt", src, dst, _eflags);
  1375. break;
  1376. case 0xab:
  1377. bts: /* bts */
  1378. src.val &= (dst.bytes << 3) - 1; /* only subword offset */
  1379. emulate_2op_SrcV_nobyte("bts", src, dst, _eflags);
  1380. break;
  1381. case 0xb0 ... 0xb1: /* cmpxchg */
  1382. /*
  1383. * Save real source value, then compare EAX against
  1384. * destination.
  1385. */
  1386. src.orig_val = src.val;
  1387. src.val = _regs[VCPU_REGS_RAX];
  1388. emulate_2op_SrcV("cmp", src, dst, _eflags);
  1389. if (_eflags & EFLG_ZF) {
  1390. /* Success: write back to memory. */
  1391. dst.val = src.orig_val;
  1392. } else {
  1393. /* Failure: write the value we saw to EAX. */
  1394. dst.type = OP_REG;
  1395. dst.ptr = (unsigned long *)&_regs[VCPU_REGS_RAX];
  1396. }
  1397. break;
  1398. case 0xb3:
  1399. btr: /* btr */
  1400. src.val &= (dst.bytes << 3) - 1; /* only subword offset */
  1401. emulate_2op_SrcV_nobyte("btr", src, dst, _eflags);
  1402. break;
  1403. case 0xb6 ... 0xb7: /* movzx */
  1404. dst.bytes = op_bytes;
  1405. dst.val = (d & ByteOp) ? (u8) src.val : (u16) src.val;
  1406. break;
  1407. case 0xba: /* Grp8 */
  1408. switch (modrm_reg & 3) {
  1409. case 0:
  1410. goto bt;
  1411. case 1:
  1412. goto bts;
  1413. case 2:
  1414. goto btr;
  1415. case 3:
  1416. goto btc;
  1417. }
  1418. break;
  1419. case 0xbb:
  1420. btc: /* btc */
  1421. src.val &= (dst.bytes << 3) - 1; /* only subword offset */
  1422. emulate_2op_SrcV_nobyte("btc", src, dst, _eflags);
  1423. break;
  1424. case 0xbe ... 0xbf: /* movsx */
  1425. dst.bytes = op_bytes;
  1426. dst.val = (d & ByteOp) ? (s8) src.val : (s16) src.val;
  1427. break;
  1428. }
  1429. goto writeback;
  1430. twobyte_special_insn:
  1431. /* Disable writeback. */
  1432. no_wb = 1;
  1433. switch (b) {
  1434. case 0x06:
  1435. emulate_clts(ctxt->vcpu);
  1436. break;
  1437. case 0x09: /* wbinvd */
  1438. break;
  1439. case 0x0d: /* GrpP (prefetch) */
  1440. case 0x18: /* Grp16 (prefetch/nop) */
  1441. break;
  1442. case 0x20: /* mov cr, reg */
  1443. if (modrm_mod != 3)
  1444. goto cannot_emulate;
  1445. _regs[modrm_rm] = realmode_get_cr(ctxt->vcpu, modrm_reg);
  1446. break;
  1447. case 0x22: /* mov reg, cr */
  1448. if (modrm_mod != 3)
  1449. goto cannot_emulate;
  1450. realmode_set_cr(ctxt->vcpu, modrm_reg, modrm_val, &_eflags);
  1451. break;
  1452. case 0x30:
  1453. /* wrmsr */
  1454. msr_data = (u32)_regs[VCPU_REGS_RAX]
  1455. | ((u64)_regs[VCPU_REGS_RDX] << 32);
  1456. rc = kvm_set_msr(ctxt->vcpu, _regs[VCPU_REGS_RCX], msr_data);
  1457. if (rc) {
  1458. kvm_x86_ops->inject_gp(ctxt->vcpu, 0);
  1459. _eip = ctxt->vcpu->rip;
  1460. }
  1461. rc = X86EMUL_CONTINUE;
  1462. break;
  1463. case 0x32:
  1464. /* rdmsr */
  1465. rc = kvm_get_msr(ctxt->vcpu, _regs[VCPU_REGS_RCX], &msr_data);
  1466. if (rc) {
  1467. kvm_x86_ops->inject_gp(ctxt->vcpu, 0);
  1468. _eip = ctxt->vcpu->rip;
  1469. } else {
  1470. _regs[VCPU_REGS_RAX] = (u32)msr_data;
  1471. _regs[VCPU_REGS_RDX] = msr_data >> 32;
  1472. }
  1473. rc = X86EMUL_CONTINUE;
  1474. break;
  1475. case 0x80 ... 0x8f: /* jnz rel, etc*/ {
  1476. long int rel;
  1477. switch (op_bytes) {
  1478. case 2:
  1479. rel = insn_fetch(s16, 2, _eip);
  1480. break;
  1481. case 4:
  1482. rel = insn_fetch(s32, 4, _eip);
  1483. break;
  1484. case 8:
  1485. rel = insn_fetch(s64, 8, _eip);
  1486. break;
  1487. default:
  1488. DPRINTF("jnz: Invalid op_bytes\n");
  1489. goto cannot_emulate;
  1490. }
  1491. if (test_cc(b, _eflags))
  1492. JMP_REL(rel);
  1493. break;
  1494. }
  1495. case 0xc7: /* Grp9 (cmpxchg8b) */
  1496. {
  1497. u64 old, new;
  1498. if ((rc = ops->read_emulated(cr2, &old, 8, ctxt->vcpu))
  1499. != 0)
  1500. goto done;
  1501. if (((u32) (old >> 0) != (u32) _regs[VCPU_REGS_RAX]) ||
  1502. ((u32) (old >> 32) != (u32) _regs[VCPU_REGS_RDX])) {
  1503. _regs[VCPU_REGS_RAX] = (u32) (old >> 0);
  1504. _regs[VCPU_REGS_RDX] = (u32) (old >> 32);
  1505. _eflags &= ~EFLG_ZF;
  1506. } else {
  1507. new = ((u64)_regs[VCPU_REGS_RCX] << 32)
  1508. | (u32) _regs[VCPU_REGS_RBX];
  1509. if ((rc = ops->cmpxchg_emulated(cr2, &old,
  1510. &new, 8, ctxt->vcpu)) != 0)
  1511. goto done;
  1512. _eflags |= EFLG_ZF;
  1513. }
  1514. break;
  1515. }
  1516. }
  1517. goto writeback;
  1518. cannot_emulate:
  1519. DPRINTF("Cannot emulate %02x\n", b);
  1520. return -1;
  1521. }
  1522. #ifdef __XEN__
  1523. #include <asm/mm.h>
  1524. #include <asm/uaccess.h>
  1525. int
  1526. x86_emulate_read_std(unsigned long addr,
  1527. unsigned long *val,
  1528. unsigned int bytes, struct x86_emulate_ctxt *ctxt)
  1529. {
  1530. unsigned int rc;
  1531. *val = 0;
  1532. if ((rc = copy_from_user((void *)val, (void *)addr, bytes)) != 0) {
  1533. propagate_page_fault(addr + bytes - rc, 0); /* read fault */
  1534. return X86EMUL_PROPAGATE_FAULT;
  1535. }
  1536. return X86EMUL_CONTINUE;
  1537. }
  1538. int
  1539. x86_emulate_write_std(unsigned long addr,
  1540. unsigned long val,
  1541. unsigned int bytes, struct x86_emulate_ctxt *ctxt)
  1542. {
  1543. unsigned int rc;
  1544. if ((rc = copy_to_user((void *)addr, (void *)&val, bytes)) != 0) {
  1545. propagate_page_fault(addr + bytes - rc, PGERR_write_access);
  1546. return X86EMUL_PROPAGATE_FAULT;
  1547. }
  1548. return X86EMUL_CONTINUE;
  1549. }
  1550. #endif