tree dc37c871dc7b18e0a2d24cbf93487fcc2b3b6678
parent 4eed80cd7a1668df6ddd884f9474beccc81ef3f7
author Jeremy Fitzhardinge <jeremy@goop.org> 1201696395 +0100
committer Ingo Molnar <mingo@elte.hu> 1201696395 +0100

x86/paravirt: make set_pmd operation common

Remove duplicate set_pmd()s.

Signed-off-by: Jeremy Fitzhardinge <jeremy@xensource.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>