VT-d/ATS: tidy device_in_domain()
authorJan Beulich <jbeulich@suse.com>
Thu, 5 Sep 2019 08:02:11 +0000 (10:02 +0200)
committerJan Beulich <jbeulich@suse.com>
Thu, 5 Sep 2019 08:02:11 +0000 (10:02 +0200)
commitfa8f9792befc6ca4982d191b8b1e32f70087ee9d
treef5346813e45d05386637e89ba9bcb9c33a8cf94e
parent15aa6c6823bb38ed7b3a173584001091b2cba988
VT-d/ATS: tidy device_in_domain()

Use appropriate types. Drop unnecessary casts. Check for failures which
can (at least in theory because of non-obvious breakage elsewhere)
occur, instead of ones which really can't (map_domain_page() won't
return NULL).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Kevin Tian <kevin.tian@intel.com>
xen/drivers/passthrough/vtd/x86/ats.c