Commit | Line | Data |
---|---|---|
a23b33b3 JB |
1 | .code16 |
2 | .include "mpx.s" | |
3 | ||
4 | .att_syntax prefix | |
5 | .code32 | |
6 | bad16: # 16-bit addressing mode seen by the disassembler | |
7 | bndmk (%eax), %bnd0 | |
8 | bndmov (%eax), %bnd0 | |
9 | bndcl (%eax), %bnd0 | |
10 | bndcn (%eax), %bnd0 | |
11 | bndcu (%eax), %bnd0 | |
12 | bndstx %bnd0, (%eax) | |
13 | bndldx (%eax), %bnd0 |