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