mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 10:40:03 +01:00
bitkeeper revision 1.1236.4.1 (421f9dcbHJkjrRCLRtqvTdb-LhoYMg)
vcpu.c: Fix invalid comparison between exec_domain * and domain *
This commit is contained in:
adsharma@linux-t08.sc.intel.com committed
1 parent
8511f9f15c
commit
9c02843c64
1 file changed
+1
-1
@@ -1421,7 +1421,7 @@ extern struct domain *dom0;
|
||||
void vcpu_itc_no_srlz(VCPU *vcpu, UINT64 IorD, UINT64 vaddr, UINT64 pte, UINT64 logps)
|
||||
{
|
||||
unsigned long psr;
|
||||
unsigned long ps = (vcpu==dom0) ? logps : PAGE_SHIFT;
|
||||
unsigned long ps = (vcpu->domain==dom0) ? logps : PAGE_SHIFT;
|
||||
|
||||
// FIXME: validate ifa here (not in Xen space), COULD MACHINE CHECK!
|
||||
// FIXME, must be inlined or potential for nested fault here!
|
||||
|
||||