taglinefilesource code
service144arch/i386/kernel/bios32.cstatic unsigned long bios32_service(unsigned long service)
service156arch/i386/kernel/bios32.c: "0" (service),
service164arch/i386/kernel/bios32.cprintk("bios32_service(%ld) : not present\n", service);
service168arch/i386/kernel/bios32.cservice, return_code);