No definitions found in the database

Referenced in 3 files:

• drivers/isdn/sc/card.h, line 72
• drivers/video/tgafb.h, line 1058
• net/ax25/ax25_std_timer.c, line 547