No definitions found in the database

Referenced in 5 files:

• arch/arm/kernel/time.c, line 2455
• arch/mips64/kernel/r4k_fpu.S, line 2478
• arch/mips64/kernel/r4k_switch.S, line 2234
• drivers/isdn/avmb1/b1pcmcia.c, line 2463
• net/decnet/dn_neigh.c, line 5215