]> xenbits.xensource.com Git - xen.git/commit
projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 932dddc) | patch
x86: use switch() in _put_page_type()
authorJan Beulich <jbeulich@suse.com>
Fri, 15 Dec 2017 10:15:54 +0000 (11:15 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 15 Dec 2017 10:15:54 +0000 (11:15 +0100)
commit40df03fc6ff8410b3d9aa2e7bb5163b698c39b3e
tree46ad1bde70382ed2f10b4053453820316a8270f8tree
parent932dddc440f2a3e390b04fade513940296b7e99acommit | diff
x86: use switch() in _put_page_type()

Use this to cheaply add another assertion.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/mm.c diff | blob | blame | history
Xen (staging and unstable) mirror