On Fri, Jun 28, 2019 at 11:29:54PM +0200, Julian Coleman wrote: > ci->cpuid seems bogus I think you are confusing ci->ci_index and ci->ci_cpuid (the latter could be arbitrary, depending on firmware/hardware/bus topology, the former is the number in "cpu0", "cpu1", ...). Martin