tag	line	file	source code
string_names	22	arch/i386/boot/compressed/piggyback.c	char string_names[] = {"_input_data\0_input_len\0"};
string_names	75	arch/i386/boot/compressed/piggyback.c	len = sizeof(string_names) + sizeof(len);
string_names	77	arch/i386/boot/compressed/piggyback.c	write(1, string_names, sizeof(string_names));