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