X2APIC support

[Andriy Gapon]

On 12/09/2016 19:44, Slawa Olhovchenkov wrote:
> I am not kernel developer: please point what I am need insert and file
> for edit.

In sys/amd64/amd64/mp_machdep.c (assuming you use amd64), in function
cpu_mp_start, in this place
	/* Set boot_cpu_id if needed. */
	if (boot_cpu_id == -1) {
		boot_cpu_id = PCPU_GET(apic_id);
		cpu_info[boot_cpu_id].cpu_bsp = 1;
	} else

right after boot_cpu_id = PCPU_GET(apic_id) line please insert
	printf("boot_cpu_id = %d\n", boot_cpu_id);

-- 
Andriy Gapon