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