Home » Mailing list archives » linux-kernel » 2008 » August » 15

Re: [PATCH] change init_gdt to update the gdt via write_gdt, rather than a direct write.

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
[view in full thread]
From: Ingo Molnar <mingo@...>
To: Alex Nixon <alex.nixon@...>
Cc: Jeremy Fitzhardinge <Jeremy.Fitzhardinge@...>, Linux Kernel Mailing List <linux-kernel@...>, H. Peter Anvin <hpa@...>, Thomas Gleixner <tglx@...>
Subject: Re: [PATCH] change init_gdt to update the gdt via write_gdt, rather than a direct write.
Date: Friday, August 15, 2008 - 12:58 pm

* Alex Nixon <alex.nixon@citrix.com> wrote:


applied to tip/x86/urgent - thanks Alex.

	Ingo
--
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
Messages in current thread:
[PATCH] change init_gdt to update the gdt via write_gdt, rat..., Alex Nixon, (Fri Aug 15, 12:21 pm)
Re: [PATCH] change init_gdt to update the gdt via write_gdt,..., Ingo Molnar, (Fri Aug 15, 12:58 pm)