diff options
| author | Juergen Gross <[email protected]> | 2017-08-04 13:36:12 +0200 |
|---|---|---|
| committer | Boris Ostrovsky <[email protected]> | 2017-08-31 09:45:55 -0400 |
| commit | 882bbe56aed0cbb00b374454f6c069919c9228dd (patch) | |
| tree | e82f71f7c8683bb7e53bc882cddeac320a8d630a /lib/mpi | |
| parent | 82616f9599a707e8225ceca6000dc5ea5aa78e11 (diff) | |
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 <[email protected]>
Acked-by: Steven Rostedt (VMware) <[email protected]>
Reviewed-by: Boris Ostrovsky <[email protected]>
Signed-off-by: Boris Ostrovsky <[email protected]>
Diffstat (limited to 'lib/mpi')
0 files changed, 0 insertions, 0 deletions