taglinefilesource code
return_code135arch/i386/kernel/bios32.cunsigned char return_code;  /* %al */
return_code141arch/i386/kernel/bios32.c: "=a" (return_code),
return_code149arch/i386/kernel/bios32.cswitch (return_code) {
return_code157arch/i386/kernel/bios32.cservice, return_code);