Searched refs:header_done (Results 1 – 1 of 1) sorted by relevance
698 int header_done = 0; in info_sharedlibrary_command() local718 if (!header_done) in info_sharedlibrary_command()723 header_done++; in info_sharedlibrary_command()