Open MPI logo

Hardware Locality Users' Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Hardware Locality Users mailing list

Subject: Re: [hwloc-users] Having trouble getting CPU Model string on Windows 7 x64
From: Brice Goglin (Brice.Goglin_at_[hidden])
Date: 2014-01-28 08:31:37


Le 28/01/2014 13:00, Samuel Thibault a écrit :
> Brice Goglin, le Tue 28 Jan 2014 12:46:24 +0100, a écrit :
>> 42: xchg %ebx,%rbx
>>
>> I guess having both ebx and rbx on these lines isn't OK. On Linux, I get
>> rsi instead of ebx, no problem.
>>
>> Samuel, any idea?
> Mmm, IIRC, "unsigned long" on windows may not be 64bit but 32bit?
> Perhaps we could rather include stdint.h and use uintptr_t or uint64_t
> there (so any other unix with 32bit unsigned long is fixed), and in the
> case of windows, include windows.h and use DWORDLONG.
>

Indeed, hacking this manually makes configure happy and Win64 now
reports CPUModel properly. I'll try to come with a clean patch.
thanks
Brice