taglinefilesource code
return_code111arch/i386/kernel/bios32.cunsigned char return_code;  /* %al */
return_code117arch/i386/kernel/bios32.c: "=a" (return_code),
return_code125arch/i386/kernel/bios32.cswitch (return_code) {
return_code133arch/i386/kernel/bios32.cservice, return_code);