Broken windows 7 driver

My AVG Internet Security system says
"the driver for the Microsoft Teredo Tunneling Pseudo Interface is not working".

I tried to Update the driver but got the reply that it is up to date.
Microsoft Help and Support would not help.

I can't find the W7 drivers anywhere.

I think the problem arose due to viral infections.
I used AVG to clean the system and it seems to have cleared things up, but there may still be a malware around?


My system: SONY FW series laptop
: Windows 7 Home premium