xen/domain: Drop DOMCRF_dummy
authorAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 8 Mar 2018 11:03:17 +0000 (11:03 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 16 Mar 2018 11:22:40 +0000 (11:22 +0000)
commit874cf987658016b4951a3bc654b2db0e1c95e649
tree7bf439abe920c2f5ffb20a5118c1b76f1618820b
parent2165380e705a86b41ddecd3d45cf804310e8be94
xen/domain: Drop DOMCRF_dummy

At the moment, there is a tight coupling between the domid and the use of
DOMCRF_dummy.  Instead of using DOMCRF_dummy, base the one relevant decision
on domid alone.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/mm.c
xen/arch/x86/mm.c
xen/common/domain.c
xen/include/xen/sched.h