On Tue, Aug 04, 2015 at 11:38:00 +0200, Andrea Bolognani wrote:
> ppc64Compute(), called by cpuNodeData(), is used not only to retrieve
> the driver-specific data associated to a guest CPU definition, but
> also to check whether said guest CPU is compatible with the host CPU.
>
> If the user is no
ppc64Compute(), called by cpuNodeData(), is used not only to retrieve
the driver-specific data associated to a guest CPU definition, but
also to check whether said guest CPU is compatible with the host CPU.
If the user is not interested in the CPU data, it's perfectly fine
to pass a NULL pointer i