synclinkmp_get_text_ptr  661 drivers/tty/synclinkmp.c static void* synclinkmp_get_text_ptr(void);
synclinkmp_get_text_ptr  662 drivers/tty/synclinkmp.c static void* synclinkmp_get_text_ptr(void) {return synclinkmp_get_text_ptr;}
synclinkmp_get_text_ptr 3945 drivers/tty/synclinkmp.c 	 	synclinkmp_get_text_ptr();