diff options
author | Zhenzhong Duan <zhenzhong.duan@oracle.com> | 2019-07-11 20:02:10 +0800 |
---|---|---|
committer | Juergen Gross <jgross@suse.com> | 2019-07-17 08:09:58 +0200 |
commit | b39b049749ce08c7756be57082177730617bb9a0 (patch) | |
tree | b97c0fdbd1873cd88057655bdd52cea4c75c8f54 /.gitignore | |
parent | 30978346372e5c43a652cfbd4533c6bd5427c33b (diff) |
xen: Map "xen_nopv" parameter to "nopv" and mark it obsolete
Clean up unnecessory code after that operation.
Signed-off-by: Zhenzhong Duan <zhenzhong.duan@oracle.com>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Cc: Juergen Gross <jgross@suse.com>
Cc: Stefano Stabellini <sstabellini@kernel.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: Borislav Petkov <bp@alien8.de>
Signed-off-by: Juergen Gross <jgross@suse.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions