+
+__attribute__((constructor)) void marker_init(void)
+{
+ struct marker *iter;
+
+ printf("Marker section : from %p to %p\n",
+ __start___markers, __stop___markers);
+ for (iter = __start___markers; iter < __stop___markers; iter++) {
+ printf("Marker : %s\n", iter->name);
+ }
+}