On Mon, 11 Jul 2016 23:48:27 -0300 Eduardo Habkost <ehabk...@redhat.com> wrote:
> On Wed, Jul 06, 2016 at 08:20:43AM +0200, Igor Mammedov wrote: > > CPU added with device_add help won't have APIC ID set, > > so set it according to socket/core/thread ids provided > > with device_add command. > > > > Signed-off-by: Igor Mammedov <imamm...@redhat.com> [...] > > > > + " APIC ID (%" PRIu32 "), valid index range 0:%d", > > I thought you were going to change it to print APIC ID as hex. Since unsigned variant for APIC ID is already in x86-next, lets continue with that, and I'll do a patch on top of series that changes printed APIC ID to hex consistently all over the three.
