tag	line	file	source code
return_code	107	kernel/bios32.c	unsigned char return_code;  /* %al */
return_code	113	kernel/bios32.c	: "=a" (return_code),
return_code	121	kernel/bios32.c	switch (return_code) {
return_code	129	kernel/bios32.c	service, return_code);