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.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Sun Sep 15 2002 - 22:00:15 EST