tree 943dd448adfc86e7b7e346fa7b70abe1b8e617df
parent 0722bba8f14eb5271c8b67e97def74da50eceb15
author Jan Beulich <jbeulich@novell.com> 1220010692 +0100
committer Ingo Molnar <mingo@elte.hu> 1220723229 +0200

x86: pgd_{c,d}tor() cleanup

Giving pgd_ctor() a properly typed parameter allows eliminating a local
variable. Adjust pgd_dtor() to match.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
Acked-by: Jeremy Fitzhardinge <jeremy@goop.org>
Cc: "Jeremy Fitzhardinge" <jeremy@goop.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>