taglinefilesource code
die63kernel/traps.cstatic void die(char * str,long esp_ptr,long nr)
die40tools/build.cvoid die(char * str)