x86_64/pmap: Remove an unused function.