From:  Arnd Bergmann <arnd@bergmann-dalldorf.de>

  de_get and de_put are used only in the file they are
  defined in, so make them static