Am 09.11.2011 16:04, schrieb Theo de Raadt: >> EDX is zero in a Linux guest (i386 and x86_64). > > So? > > What is it on the real hardware?
0x3f9 However, they asked me to test inside a Linux guest. On the host itself, the x86info tool shows for all cores: eax in: 0x80000007, eax = 00000000 ebx = 00000000 ecx = 00000000 edx = 000003f9 I'll verify OpenBSD on metal asap once the machine is free. Anything specific you want me to test? Walter
