Re: Odd problem with ACPI and i386 kernel

["H. J. Lu" <hjl@gnu.org>]

On Sun, Sep 08, 2002 at 11:55:58PM +0100, Hugh Dickins wrote:
> On Sun, 8 Sep 2002, H. J. Lu wrote:
> > I have a very strange problem with ACPI and i386 kernel. I built an
> > i386 kernel with ACPI for RedHat installation since my new P4 machines
> > needs ACPI to get IRQ. It works fine on my ASUS P4B533-E MB with Intel
> > 845E chipset. However, on my Sony VAIO GRX560 which is a P4 1.6GHz
> > with Intel 845 chipset, the machine will reboot as soon as the kernel
> > starts to run. I tracked it down to CONFIG_X86_INVLPG. If I enable
> > it, kernel will be fine. Has anyone else seen this?
> 
> Yes, I sent Marcelo the patch below on 27th Aug, it's in 2.4.20-pre5.
> I sent Linus a similar patch (copied to LKML) for the 2.5 tlbflush.h,
> but he didn't care for its "cpu_has_pge" test, nor did he put in its
> #define cpu_has_invlpg	(boot_cpu_data.x86 > 3)
> replacement: I'll resend.
> 
> CONFIG_M386 kernel running on PPro+ processor with X86_FEATURE_PGE may
> set _PAGE_GLOBAL bit: then __flush_tlb_one must use invlpg instruction.
> 

THANKS! It does the trick.


H.J.