irnet_destroy_server 1880 net/irda/irnet/irnet_irda.c   irnet_destroy_server();
irnet_destroy_server  108 net/irda/irnet/irnet_irda.h 	irnet_destroy_server(void);