X2APIC support

[Konstantin Belousov]

On Tue, Sep 06, 2016 at 04:13:05PM +0300, Slawa Olhovchenkov wrote:
> On Sun, Sep 04, 2016 at 11:19:16AM +0300, Andriy Gapon wrote:
> 
> > On 01/09/2016 15:13, Slawa Olhovchenkov wrote:
> > > DMAR: Found table at 0x79b32798
> > > x2APIC available but disabled by DMAR table
> > 
> > > Event timer "LAPIC" quality 600
> > > LAPIC: ipi_wait() us multiplier 1 (r 116268019 tsc 2200043851)
> > > ACPI APIC Table: <ALASKA A M I >
> 
> Is this significant? On carsh case present 'x2APIC available but
> disabled by DMAR table' and 'LAPIC: ipi_wait() us multiplier 1 (r
> 116268019 tsc 2200043851)'
Significant for what ?  First message mostly repeat the setting in the
BIOS which you frobbed.  The second message indicates that xAPIC
timings for ICR reads were calibrated, i.e. x2APIC mode was indeed
disabled.

> 
> On successful boot both messages absent:
> 
> Table 'DMAR' at 0x79b32798
> DMAR: Found table at 0x79b32798
> Event timer "LAPIC" quality 600
> ACPI APIC Table: <ALASKA A M I >