x86: turn is_pv_{,32bit_}{domain,vcpu} into inline functions
authorWei Liu <wei.liu2@citrix.com>
Thu, 4 Oct 2018 15:43:22 +0000 (16:43 +0100)
committerWei Liu <wei.liu2@citrix.com>
Mon, 15 Oct 2018 14:23:36 +0000 (15:23 +0100)
commitd87dd1bd6c1099398cdfce18e448088488bf6ca8
tree4e03c67035b69c3a04ada126d99599191de7222a
parentbbb98e6fef06a4bd1236dce0bb17ecbb36a0cba7
x86: turn is_pv_{,32bit_}{domain,vcpu} into inline functions

And make them work with CONFIG_PV.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/include/asm-x86/domain.h
xen/include/xen/sched.h