Searched defs:pushsrc (Results 1 – 4 of 4) sorted by relevance
16 void pushsrc(int type, char *ptr) /* new input source */ in pushsrc() function
22 void pushsrc(int type, char *ptr) /* new input source */ in pushsrc() function
617 pushsrc(char *name) in pushsrc() function