Incorrect placement of a preprocessor directive in source code results
in logic that doesn\'t operate as intended when support for HVM guests is
compiled out of Xen.
Common Attack Pattern Enumeration and Classification (CAPEC)
CAPEC-ID: CAPEC Description: When a device is removed from a domain, it is not properly quarantined
and retains its access to the domain to which it was previously
assigned.