What is the tune peter dinklage (or The imp) whistles in Game of Thrones?

Episode 8 of the first season. After The Imp or Tyrion Lannister gets
freed from the Eerie, he whistles a tune to express his happyness. I
wondered if it was a made up tune, Because its a catchy one.

And if not, if it maybe had a name or so.