Avrlibc is already part of the Arduino IDE. You won't find any source files because the library is precompiled. However, the header (.h) files are with the IDE and the wdt stuff is all done with inline macros defined in the header file. And you can have a look at that.