tag	line	file	source code
service	122	arch/i386/kernel/bios32.c	static unsigned long bios32_service(unsigned long service)
service	134	arch/i386/kernel/bios32.c	: "0" (service),
service	142	arch/i386/kernel/bios32.c	printk("bios32_service(%ld) : not present\n", service);
service	146	arch/i386/kernel/bios32.c	service, return_code);