index fdcbc0270acd3bec570c0d1ac1953f06137442bb..7bab6b34e35ee7b9869c372373926e2f89d4dd57 100644 (file)
void ui_helpline__fpush(const char *fmt, ...);
void ui_helpline__puts(const char *msg);
+extern char ui_helpline__current[];
+
#endif /* _PERF_UI_HELPLINE_H_ */