tree e82f71f7c8683bb7e53bc882cddeac320a8d630a
parent 82616f9599a707e8225ceca6000dc5ea5aa78e11
author Juergen Gross <jgross@suse.com> 1501846572 +0200
committer Boris Ostrovsky <boris.ostrovsky@oracle.com> 1504187155 -0400

xen: remove unused function xen_set_domain_pte()

The function xen_set_domain_pte() is used nowhere in the kernel.
Remove it.

Signed-off-by: Juergen Gross <jgross@suse.com>
Acked-by: Steven Rostedt (VMware) <rostedt@goodmis.org>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>