2 /* { dg-do assemble } */
3 /* { dg-options "-O2 -m16 -march=haswell" } */
4 /* Non-gas assemblers choke on .code16gcc. */
5 /* { dg-require-effective-target gas } */
7 void load_kernel(void *setup_addr
)
9 unsigned int seg
= (unsigned int)setup_addr
>> 4;
10 asm("movl %0, %%es" : : "r"(seg
));