__ppp_channel_push 1935 drivers/net/ppp/ppp_generic.c 		__ppp_channel_push(pch);
__ppp_channel_push 1938 drivers/net/ppp/ppp_generic.c 		__ppp_channel_push(pch);