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