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