I was actually curious if anyone knew the answer to this question? I am having the same issue where i want to add the WMI Windows Information Provider on a 64-bit machine with sysocmgr.exe but it's...