x86/PV: polish pv_set_gdt()
authorJan Beulich <jbeulich@suse.com>
Fri, 22 May 2020 14:10:40 +0000 (16:10 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 22 May 2020 14:10:40 +0000 (16:10 +0200)
commit87827167bb1737e826b0a8fe0abe07c0ace36ac5
treea99924e9ec324f4d1b418d9740d06ad3bbc0d123
parentded6e9d514902be17069b59b335c3165c601f86a
x86/PV: polish pv_set_gdt()

There's no need to invoke get_page_from_gfn(), and there's also no need
to update the passed in frames[]. Invoke get_page_and_type() directly.

Also make the function's frames[] parameter const, change its return
type to int, and drop the bogus casts from two of its invocations.

Finally a little bit of cosmetics.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/domain.c
xen/arch/x86/pv/descriptor-tables.c
xen/include/asm-x86/pv/mm.h