[PATCH] x86-64: remove get_pmd()

Function is dead.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
Signed-off-by: Andi Kleen <ak@suse.de>
1 file changed