diff options
| author | kmacy <kmacy@FreeBSD.org> | 2008-08-19 02:36:56 +0000 |
|---|---|---|
| committer | kmacy <kmacy@FreeBSD.org> | 2008-08-19 02:36:56 +0000 |
| commit | a0ede73626192422bfe6d837ebf928032683a653 (patch) | |
| tree | b2301ec6832abc44e749d95cc67349c26594418a /sys/i386/xen | |
| parent | edc759b8a08e721d485241cbcc6f15b19f4e2e60 (diff) | |
| download | FreeBSD-src-a0ede73626192422bfe6d837ebf928032683a653.zip FreeBSD-src-a0ede73626192422bfe6d837ebf928032683a653.tar.gz | |
Fix compilation without INVARIANTS
MFC after: 1 month
Diffstat (limited to 'sys/i386/xen')
| -rw-r--r-- | sys/i386/xen/xen_machdep.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/i386/xen/xen_machdep.c b/sys/i386/xen/xen_machdep.c index a4b3026..7291ebb 100644 --- a/sys/i386/xen/xen_machdep.c +++ b/sys/i386/xen/xen_machdep.c @@ -197,7 +197,9 @@ struct mmu_log { #ifdef SMP /* per-cpu queues and indices */ +#ifdef INVARIANTS static mmu_update_t xpq_queue[MAX_VIRT_CPUS][XPQUEUE_SIZE]; +#endif static int xpq_idx[MAX_VIRT_CPUS]; #define XPQ_QUEUE xpq_queue[vcpu] @@ -303,9 +305,11 @@ xen_increment_idx(void) void xen_check_queue(void) { +#ifdef INVARIANTS SET_VCPU(); KASSERT(XPQ_IDX == 0, ("pending operations XPQ_IDX=%d", XPQ_IDX)); +#endif } void @@ -321,9 +325,11 @@ void xen_load_cr3(u_int val) { struct mmuext_op op; +#ifdef INVARIANTS SET_VCPU(); KASSERT(XPQ_IDX == 0, ("pending operations XPQ_IDX=%d", XPQ_IDX)); +#endif op.cmd = MMUEXT_NEW_BASEPTR; op.arg1.mfn = xpmap_ptom(val) >> PAGE_SHIFT; PANIC_IF(HYPERVISOR_mmuext_op(&op, 1, NULL, DOMID_SELF) < 0); |
