x86: eliminate has_arch_mmios()
authorJan Beulich <jbeulich@suse.com>
Tue, 12 Nov 2013 15:28:47 +0000 (16:28 +0100)
committerJan Beulich <jbeulich@suse.com>
Tue, 12 Nov 2013 15:28:47 +0000 (16:28 +0100)
commit79233938ab2a8f273fd5dcdbf8e8381b9eb3a461
tree983384281884d6f4c8a9498d326b785ae975c0d8
parentdae2a1c5f9372be1b5d1e734ad3e51f67a1221aa
x86: eliminate has_arch_mmios()

... as being generally insufficient: Either has_arch_pdevs() or
cache_flush_permitted() should be used (in particular, it is
insufficient to consider MMIO ranges alone - I/O port ranges have the
same requirements if available to a guest).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
xen/arch/x86/hvm/svm/svm.c
xen/arch/x86/hvm/vmx/vmx.c
xen/include/asm-x86/domain.h