pkt_pop 705 drivers/usb/serial/garmin_gps.c while ((pkt = pkt_pop(garmin_data_p)) != NULL) { pkt_pop 1300 drivers/usb/serial/garmin_gps.c pkt = pkt_pop(garmin_data_p);