def x64_cpuid(req):
    cpuid_res = X64CpuidResult()
    do_cpuid64(req, ctypes.addressof(cpuid_res))
    # For now assembler cannot do 32bits register in x64
    return X86CpuidResult(cpuid_res.RAX, cpuid_res.RBX, cpuid_res.RCX, cpuid_res.RDX)
Performs a CPUID in 64bits mode
dataset/ETHPy150Open hakril/PythonForWindows/windows/native_exec/cpuid.py/x64_cpuid