The Windows operating system handles this redirection completely behind-the-scenes.

32-bit keys are are stored in the following registry sub key on machines running a x64 OS:

HKEY_LOCAL_MACHINE\Software\WOW6432node

64-bit keys are are stored in the following registry sub key:

HKEY_LOCAL_MACHINE\Software

To access the 64-bit branch, you simply switch the installer into 64-bit mode and then you can access the native 64-bit resources. Don't forget to switch back to 32-bit mode after you have processed the 64-bit part.

Friedrich