1  /* PR target/80569 */
       2  /* { dg-do assemble } */
       3  /* { dg-options "-O2 -m16 -march=haswell" } */
       4  
       5  void load_kernel(void *setup_addr)
       6  {
       7      unsigned int seg = (unsigned int)setup_addr >> 4;
       8      asm("movl %0, %%es" : : "r"(seg));
       9  }