taglinefilesource code
return_code124arch/i386/kernel/bios32.cunsigned char return_code;  /* %al */
return_code130arch/i386/kernel/bios32.c: "=a" (return_code),
return_code138arch/i386/kernel/bios32.cswitch (return_code) {
return_code146arch/i386/kernel/bios32.cservice, return_code);