1  /* { dg-do compile } */
       2  /* { dg-options "-fprofile-arcs" } */
       3  /* { dg-require-profiling "-fprofile-generate" } */
       4  
       5  extern void relocate_kernel();
       6  void machine_kexec(void *control_page)
       7  { 
       8    __builtin_memcpy(control_page, relocate_kernel, 2048);
       9  }