Searched refs:event_cookie (Results 1 - 1 of 1) sorted by relevance

/openjdk7/hotspot/src/share/tools/hsdis/
H A Dhsdis-demo.c125 static const char event_cookie[] = "event_cookie"; /* demo placeholder */ variable
128 if (cookie != event_cookie)
129 printf("*** bad event cookie %p != %p\n", cookie, event_cookie);
205 handle_event, (void*) event_cookie,

Completed in 78 milliseconds