Cross Reference: /device/common/gps/gps.conf

      1 XTRA_SERVER_1=http://xtra1.gpsonextra.net/xtra.bin
      2 XTRA_SERVER_2=http://xtra2.gpsonextra.net/xtra.bin
      3 XTRA_SERVER_3=http://xtra3.gpsonextra.net/xtra.bin
      4

OpenGrok