Searched refs:btf_output (Results 1 – 3 of 3) sorted by relevance
385 extern void btf_output (const char * filename);
941 btf_output (filename); in ctf_debug_finalize()
1080 btf_output (const char * filename) in btf_output() function