tag	line	file	source code
return_code	116	kernel/bios32.c	unsigned char return_code;  /* %al */
return_code	122	kernel/bios32.c	: "=a" (return_code),
return_code	130	kernel/bios32.c	switch (return_code) {
return_code	138	kernel/bios32.c	service, return_code);