static void handle_event(struct pcmcia_bus_socket *s, event_t event) { user_info_t *user; for (user = s->user; user; user = user->next) queue_event(user, event); wake_up_interruptible(&s->queue); } 
static inline void handle_event(struct pcmcia_bus_socket *s, event_t event) { return; } 
static void handle_event(struct pcmcia_bus_socket *s, event_t event){    user_info_t *user;    for (user = s->user; user; user = user->next)	queue_event(user, event);    wake_up_interruptible(&s->queue);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9a5555b81fde402119a6b4f2b38d3373d272ff69/ds.c/buggy/drivers/pcmcia/ds.c