1# Check 32bit WAITPKG instructions. 2 3 .text 4_start: 5 .rept 2 6 umonitor %eax 7 umonitor %cx 8 umwait %ecx 9 umwait %ebx, %edx, %eax 10 tpause %ecx 11 tpause %ebx, %edx, %eax 12 13 .intel_syntax noprefix 14 15 umwait edi, edx, eax 16 tpause edi, edx, eax 17 18 .att_syntax prefix 19 .code16 20 .endr 21