Intel Extensible Firmware Interface User Manual
Page 1010

Extensible Firmware Interface Specification
J-2 12/01/02
Version
1.10
Table J-1. EBC Virtual Machine Opcode Summary
(continued)
Opcode Description
0x1A
[32|64] {@}R
1
, {@}R
2
{Index16|Immed16}
0x1B
[32|64] {@}R
1
,{@}R
2
{Index16|Immed16}
0x1C
[32|64] {@}R
1
,{@}R
2
{Index16|Immed16}
0x1D
1
{Index16}, {@}R
2
{Index16}
0x1E
1
{Index16}, {@}R
2
{Index16}
0x1F
1
{Index16}, {@}R
2
{Index16}
0x20
1
{Index16}, {@}R
2
{Index16}
0x21
1
{Index32}, {@}R
2
{Index32}
0x22
1
{Index32}, {@}R
2
{Index32}
0x23
1
{Index32}, {@}R
2
{Index32}
0x24
1
{Index32}, {@}R
2
{Index32}
0x25
1
{Index16}, {@}R
2
{Index16|Immed16}
0x26
1
{Index32}, {@}R
2
{Index32|Immed32}
0x27 Reserved
0x28
1
{Index64}, {@}R
2
{Index64}
0x29
[Flags], R
2
0x2A
1
, [IP|Flags]
0x2B
[32|64] {@}R
1
{Index16|Immed16}
0x2C
[32|64] {@}R
1
{Index16|Immed16}
0x2D
[32|64][w|d]eq {@}R
1
{Index16}, Immed16|Immed32
0x2E
[32|64][w|d]lte {@}R
1
{Index16}, Immed16|Immed32
0x2F
[32|64][w|d]gte {@}R
1
{Index16}, Immed16|Immed32
0x30
[32|64][w|d]ulte {@}R
1
{Index16}, Immed16|Immed32
0x31
[32|64][w|d]ugte {@}R
1
{Index16}, Immed16|Immed32
0x32
1
{Index16}, {@}R
2
{Index16}
0x33
1
{Index32}, {@}R
2
{Index32}
0x34 Reserved
0x35
1
{Index16|Immed16}
0x36
1
{Index16|Immed16}
0x37
[b|w|d|q][w|d|q] {@}R
1
{Index16}, Immed16|32|64
0x38
[w|d|q] {@}R
1
{Index16}, Index16|32|64
0x39
[w|d|q] {@}R
1
{Index16}, Immed16|32|64
0x3A Reserved
0x3B Reserved
0x3C Reserved
0x3D Reserved
0x3E Reserved
0x3F Reserved