x86/mm: Fix the odd indentation of the pin_page block of do_mmuext_op()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 5 May 2017 16:21:28 +0000 (17:21 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 30 May 2017 17:50:13 +0000 (18:50 +0100)
commit15f8ab923983e01ae14e4209af465df990c2344c
tree6766c5526167885806d560baa106ce73776b94fe
parent353490a6f0d69bf4630b758742d4f4e070e52e81
x86/mm: Fix the odd indentation of the pin_page block of do_mmuext_op()

The pin_page block is missing one level of indentation, which makes the
MMUEXT_UNPIN_TABLE case label appear to be outside of the switch statement.

However, the block isn't needed at all if page is declared with switch level
scope.  This allows for the removal of the identical local declarations for
MMUEXT_UNPIN_TABLE, MMUEXT_NEW_USER_BASEPTR and MMUEXT_CLEAR_PAGE.

While making this adjustment, delete one other piece of trailing whitespace.

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/mm.c