si no los encuentras en la pagina de HP -creo que te refieres a un equipo de HP, ¿verdad?- es que no existen, pero si hay de Vista x64 es muy probable que funcionen en windows 7.
Otra alternativa es buscar en planet64 o foros dedicados solo al mundo de sistemas x64, porque en ocasiones algunos usuarios hacen modificaciones a algun controlador para que funcione en la version x64 de Y sistema operativo.
