tag	line	file	source code
service	114	kernel/bios32.c	static unsigned long bios32_service(unsigned long service)
service	126	kernel/bios32.c	: "0" (service),
service	134	kernel/bios32.c	printk("bios32_service(%ld) : not present\n", service);
service	138	kernel/bios32.c	service, return_code);