Commit | Line | Data |
---|---|---|
de89d0a3 IT |
1 | # Check 64bit WAITPKG instructions. |
2 | ||
3 | .text | |
4 | _start: | |
5 | umonitor %rax | |
6 | umonitor %r10 | |
7 | umonitor %r10d | |
ae1d3843 | 8 | umwait %ecx |
ae1d3843 | 9 | umwait %r10d |
b630c145 | 10 | umwait %edi, %edx, %eax |
ae1d3843 | 11 | tpause %ecx |
ae1d3843 | 12 | tpause %r10d |
b630c145 JB |
13 | tpause %edi, %edx, %eax |
14 | ||
15 | .intel_syntax noprefix | |
16 | ||
17 | umwait esi, edx, eax | |
18 | tpause esi, edx, eax |