taglinefilesource code
die29arch/alpha/boot/tools/build.cstatic void die(char * str)
die26arch/i386/boot/compressed/xtract.cvoid die(char * str)
die79arch/i386/boot/tools/build.cvoid die(char * str)