diff options
author | Colin Ian King <colin.king@canonical.com> | 2018-08-28 17:10:46 +0100 |
---|---|---|
committer | Boris Ostrovsky <boris.ostrovsky@oracle.com> | 2018-08-28 17:37:40 -0400 |
commit | 6d3c8ce012cefbdd73a3bba3c7f9a44af1c6a0bb (patch) | |
tree | 08b1500ad51e4ee8b5974b3d227f3ead18f44c8c /drivers | |
parent | 076e2cedd6ea4786569c35f8725b4efdc1ecf2f2 (diff) | |
download | linux-6d3c8ce012cefbdd73a3bba3c7f9a44af1c6a0bb.tar.bz2 |
x86/xen: remove redundant variable save_pud
Variable save_pud is being assigned but is never used hence it is
redundant and can be removed.
Cleans up clang warning:
variable 'save_pud' set but not used [-Wunused-but-set-variable]
Signed-off-by: Colin Ian King <colin.king@canonical.com>
Reviewed-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Signed-off-by: Boris Ostrovsky <boris.ostrovsky@oracle.com>
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions