Home | History | Annotate | Line # | Download | only in x86
hypervisor_machdep.c revision 1.1.4.2
      1  1.1.4.2  mjf /*	$NetBSD: hypervisor_machdep.c,v 1.1.4.2 2007/12/27 00:43:30 mjf Exp $	*/
      2  1.1.4.1  mjf 
      3  1.1.4.1  mjf /*
      4  1.1.4.1  mjf  *
      5  1.1.4.1  mjf  * Copyright (c) 2004 Christian Limpach.
      6  1.1.4.1  mjf  * All rights reserved.
      7  1.1.4.1  mjf  *
      8  1.1.4.1  mjf  * Redistribution and use in source and binary forms, with or without
      9  1.1.4.1  mjf  * modification, are permitted provided that the following conditions
     10  1.1.4.1  mjf  * are met:
     11  1.1.4.1  mjf  * 1. Redistributions of source code must retain the above copyright
     12  1.1.4.1  mjf  *    notice, this list of conditions and the following disclaimer.
     13  1.1.4.1  mjf  * 2. Redistributions in binary form must reproduce the above copyright
     14  1.1.4.1  mjf  *    notice, this list of conditions and the following disclaimer in the
     15  1.1.4.1  mjf  *    documentation and/or other materials provided with the distribution.
     16  1.1.4.1  mjf  * 3. All advertising materials mentioning features or use of this software
     17  1.1.4.1  mjf  *    must display the following acknowledgement:
     18  1.1.4.1  mjf  *      This product includes software developed by Christian Limpach.
     19  1.1.4.1  mjf  * 4. The name of the author may not be used to endorse or promote products
     20  1.1.4.1  mjf  *    derived from this software without specific prior written permission.
     21  1.1.4.1  mjf  *
     22  1.1.4.1  mjf  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     23  1.1.4.1  mjf  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     24  1.1.4.1  mjf  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     25  1.1.4.1  mjf  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     26  1.1.4.1  mjf  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     27  1.1.4.1  mjf  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     28  1.1.4.1  mjf  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     29  1.1.4.1  mjf  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     30  1.1.4.1  mjf  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     31  1.1.4.1  mjf  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     32  1.1.4.1  mjf  */
     33  1.1.4.1  mjf 
     34  1.1.4.1  mjf /******************************************************************************
     35  1.1.4.1  mjf  * hypervisor.c
     36  1.1.4.1  mjf  *
     37  1.1.4.1  mjf  * Communication to/from hypervisor.
     38  1.1.4.1  mjf  *
     39  1.1.4.1  mjf  * Copyright (c) 2002-2004, K A Fraser
     40  1.1.4.1  mjf  *
     41  1.1.4.1  mjf  * Permission is hereby granted, free of charge, to any person obtaining a copy
     42  1.1.4.1  mjf  * of this software and associated documentation files (the "Software"), to
     43  1.1.4.1  mjf  * deal in the Software without restriction, including without limitation the
     44  1.1.4.1  mjf  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
     45  1.1.4.1  mjf  * sell copies of the Software, and to permit persons to whom the Software is
     46  1.1.4.1  mjf  * furnished to do so, subject to the following conditions:
     47  1.1.4.1  mjf  *
     48  1.1.4.1  mjf  * The above copyright notice and this permission notice shall be included in
     49  1.1.4.1  mjf  * all copies or substantial portions of the Software.
     50  1.1.4.1  mjf  *
     51  1.1.4.1  mjf  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
     52  1.1.4.1  mjf  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
     53  1.1.4.1  mjf  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
     54  1.1.4.1  mjf  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
     55  1.1.4.1  mjf  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
     56  1.1.4.1  mjf  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
     57  1.1.4.1  mjf  * DEALINGS IN THE SOFTWARE.
     58  1.1.4.1  mjf  */
     59  1.1.4.1  mjf 
     60  1.1.4.1  mjf 
     61  1.1.4.1  mjf #include <sys/cdefs.h>
     62  1.1.4.2  mjf __KERNEL_RCSID(0, "$NetBSD: hypervisor_machdep.c,v 1.1.4.2 2007/12/27 00:43:30 mjf Exp $");
     63  1.1.4.1  mjf 
     64  1.1.4.1  mjf #include <sys/param.h>
     65  1.1.4.1  mjf #include <sys/systm.h>
     66  1.1.4.1  mjf 
     67  1.1.4.1  mjf #include <xen/xen.h>
     68  1.1.4.1  mjf #include <xen/hypervisor.h>
     69  1.1.4.1  mjf #include <xen/evtchn.h>
     70  1.1.4.1  mjf 
     71  1.1.4.1  mjf #include "opt_xen.h"
     72  1.1.4.1  mjf 
     73  1.1.4.1  mjf // #define PORT_DEBUG 4
     74  1.1.4.1  mjf // #define EARLY_DEBUG_EVENT
     75  1.1.4.1  mjf 
     76  1.1.4.1  mjf int stipending(void);
     77  1.1.4.1  mjf int
     78  1.1.4.1  mjf stipending()
     79  1.1.4.1  mjf {
     80  1.1.4.1  mjf 	uint32_t l1;
     81  1.1.4.1  mjf 	unsigned long l2;
     82  1.1.4.1  mjf 	unsigned int l1i, l2i, port;
     83  1.1.4.1  mjf 	volatile shared_info_t *s = HYPERVISOR_shared_info;
     84  1.1.4.1  mjf 	struct cpu_info *ci;
     85  1.1.4.1  mjf 	int ret;
     86  1.1.4.1  mjf 
     87  1.1.4.1  mjf 	ret = 0;
     88  1.1.4.1  mjf 	ci = curcpu();
     89  1.1.4.1  mjf 
     90  1.1.4.1  mjf #if 0
     91  1.1.4.1  mjf 	if (HYPERVISOR_shared_info->events)
     92  1.1.4.1  mjf 		printf("stipending events %08lx mask %08lx ilevel %d\n",
     93  1.1.4.1  mjf 		    HYPERVISOR_shared_info->events,
     94  1.1.4.1  mjf 		    HYPERVISOR_shared_info->events_mask, ci->ci_ilevel);
     95  1.1.4.1  mjf #endif
     96  1.1.4.1  mjf 
     97  1.1.4.1  mjf #ifdef EARLY_DEBUG_EVENT
     98  1.1.4.1  mjf 	if (xen_atomic_test_bit(&s->evtchn_pending[0], debug_port)) {
     99  1.1.4.1  mjf 		xen_debug_handler(NULL);
    100  1.1.4.1  mjf 		xen_atomic_clear_bit(&s->evtchn_pending[0], debug_port);
    101  1.1.4.1  mjf 	}
    102  1.1.4.1  mjf #endif
    103  1.1.4.1  mjf 
    104  1.1.4.1  mjf 	/*
    105  1.1.4.1  mjf 	 * we're only called after STIC, so we know that we'll have to
    106  1.1.4.1  mjf 	 * STI at the end
    107  1.1.4.1  mjf 	 */
    108  1.1.4.1  mjf 	while (s->vcpu_info[0].evtchn_upcall_pending) {
    109  1.1.4.1  mjf 		cli();
    110  1.1.4.1  mjf 		s->vcpu_info[0].evtchn_upcall_pending = 0;
    111  1.1.4.1  mjf 		/* NB. No need for a barrier here -- XCHG is a barrier
    112  1.1.4.1  mjf 		 * on x86. */
    113  1.1.4.1  mjf #ifdef XEN3
    114  1.1.4.1  mjf 		l1 = xen_atomic_xchg(&s->vcpu_info[0].evtchn_pending_sel, 0);
    115  1.1.4.1  mjf #else
    116  1.1.4.1  mjf 		l1 = xen_atomic_xchg(&s->evtchn_pending_sel, 0);
    117  1.1.4.1  mjf #endif
    118  1.1.4.1  mjf 		while ((l1i = ffs(l1)) != 0) {
    119  1.1.4.1  mjf 			l1i--;
    120  1.1.4.1  mjf 			l1 &= ~(1 << l1i);
    121  1.1.4.1  mjf 
    122  1.1.4.1  mjf 			l2 = s->evtchn_pending[l1i] & ~s->evtchn_mask[l1i];
    123  1.1.4.1  mjf 			/*
    124  1.1.4.1  mjf 			 * mask and clear event. More efficient than calling
    125  1.1.4.1  mjf 			 * hypervisor_mask/clear_event for each event.
    126  1.1.4.1  mjf 			 */
    127  1.1.4.1  mjf 			xen_atomic_setbits_l(&s->evtchn_mask[l1i], l2);
    128  1.1.4.1  mjf 			xen_atomic_clearbits_l(&s->evtchn_pending[l1i], l2);
    129  1.1.4.1  mjf 			while ((l2i = ffs(l2)) != 0) {
    130  1.1.4.1  mjf 				l2i--;
    131  1.1.4.1  mjf 				l2 &= ~(1 << l2i);
    132  1.1.4.1  mjf 
    133  1.1.4.1  mjf 				port = (l1i << 5) + l2i;
    134  1.1.4.1  mjf 				if (evtsource[port]) {
    135  1.1.4.1  mjf 					hypervisor_set_ipending(
    136  1.1.4.1  mjf 					    evtsource[port]->ev_imask,
    137  1.1.4.1  mjf 					    l1i, l2i);
    138  1.1.4.1  mjf 					evtsource[port]->ev_evcnt.ev_count++;
    139  1.1.4.1  mjf 					if (ret == 0 && ci->ci_ilevel <
    140  1.1.4.1  mjf 					    evtsource[port]->ev_maxlevel)
    141  1.1.4.1  mjf 						ret = 1;
    142  1.1.4.1  mjf 				}
    143  1.1.4.1  mjf #ifdef DOM0OPS
    144  1.1.4.1  mjf 				else
    145  1.1.4.1  mjf 					xenevt_event(port);
    146  1.1.4.1  mjf #endif
    147  1.1.4.1  mjf 			}
    148  1.1.4.1  mjf 		}
    149  1.1.4.1  mjf 		sti();
    150  1.1.4.1  mjf 	}
    151  1.1.4.1  mjf 
    152  1.1.4.1  mjf #if 0
    153  1.1.4.1  mjf 	if (ci->ci_ipending & 0x1)
    154  1.1.4.1  mjf 		printf("stipending events %08lx mask %08lx ilevel %d ipending %08x\n",
    155  1.1.4.1  mjf 		    HYPERVISOR_shared_info->events,
    156  1.1.4.1  mjf 		    HYPERVISOR_shared_info->events_mask, ci->ci_ilevel,
    157  1.1.4.1  mjf 		    ci->ci_ipending);
    158  1.1.4.1  mjf #endif
    159  1.1.4.1  mjf 
    160  1.1.4.1  mjf 	return (ret);
    161  1.1.4.1  mjf }
    162  1.1.4.1  mjf 
    163  1.1.4.1  mjf void
    164  1.1.4.1  mjf do_hypervisor_callback(struct intrframe *regs)
    165  1.1.4.1  mjf {
    166  1.1.4.1  mjf 	uint32_t l1;
    167  1.1.4.1  mjf 	unsigned long l2;
    168  1.1.4.1  mjf 	unsigned int l1i, l2i, port;
    169  1.1.4.1  mjf 	volatile shared_info_t *s = HYPERVISOR_shared_info;
    170  1.1.4.1  mjf 	struct cpu_info *ci;
    171  1.1.4.1  mjf 	int level;
    172  1.1.4.1  mjf 
    173  1.1.4.1  mjf 	ci = curcpu();
    174  1.1.4.1  mjf 	level = ci->ci_ilevel;
    175  1.1.4.1  mjf 
    176  1.1.4.1  mjf 	// DDD printf("do_hypervisor_callback\n");
    177  1.1.4.1  mjf 
    178  1.1.4.1  mjf #ifdef EARLY_DEBUG_EVENT
    179  1.1.4.1  mjf 	if (xen_atomic_test_bit(&s->evtchn_pending[0], debug_port)) {
    180  1.1.4.1  mjf 		xen_debug_handler(NULL);
    181  1.1.4.1  mjf 		xen_atomic_clear_bit(&s->evtchn_pending[0], debug_port);
    182  1.1.4.1  mjf 	}
    183  1.1.4.1  mjf #endif
    184  1.1.4.1  mjf 
    185  1.1.4.1  mjf 	while (s->vcpu_info[0].evtchn_upcall_pending) {
    186  1.1.4.1  mjf 		s->vcpu_info[0].evtchn_upcall_pending = 0;
    187  1.1.4.1  mjf 		/* NB. No need for a barrier here -- XCHG is a barrier
    188  1.1.4.1  mjf 		 * on x86. */
    189  1.1.4.1  mjf #ifdef XEN3
    190  1.1.4.1  mjf 		l1 = xen_atomic_xchg(&s->vcpu_info[0].evtchn_pending_sel, 0);
    191  1.1.4.1  mjf #else
    192  1.1.4.1  mjf 		l1 = xen_atomic_xchg(&s->evtchn_pending_sel, 0);
    193  1.1.4.1  mjf #endif
    194  1.1.4.1  mjf 		while ((l1i = ffs(l1)) != 0) {
    195  1.1.4.1  mjf 			l1i--;
    196  1.1.4.1  mjf 			l1 &= ~(1 << l1i);
    197  1.1.4.1  mjf 
    198  1.1.4.1  mjf 			l2 = s->evtchn_pending[l1i] & ~s->evtchn_mask[l1i];
    199  1.1.4.1  mjf 			/*
    200  1.1.4.1  mjf 			 * mask and clear the pending events.
    201  1.1.4.1  mjf 			 * Doing it here for all event that will be processed
    202  1.1.4.1  mjf 			 * avoids a race with stipending (which can be called
    203  1.1.4.1  mjf 			 * though evtchn_do_event->splx) that could cause an event to
    204  1.1.4.1  mjf 			 * be both processed and marked pending.
    205  1.1.4.1  mjf 			 */
    206  1.1.4.1  mjf 			xen_atomic_setbits_l(&s->evtchn_mask[l1i], l2);
    207  1.1.4.1  mjf 			xen_atomic_clearbits_l(&s->evtchn_pending[l1i], l2);
    208  1.1.4.1  mjf 
    209  1.1.4.1  mjf 			while ((l2i = ffs(l2)) != 0) {
    210  1.1.4.1  mjf 				l2i--;
    211  1.1.4.1  mjf 				l2 &= ~(1 << l2i);
    212  1.1.4.1  mjf 
    213  1.1.4.1  mjf 				port = (l1i << 5) + l2i;
    214  1.1.4.1  mjf #ifdef PORT_DEBUG
    215  1.1.4.1  mjf 				if (port == PORT_DEBUG)
    216  1.1.4.1  mjf 					printf("do_hypervisor_callback event %d\n", port);
    217  1.1.4.1  mjf #endif
    218  1.1.4.1  mjf 				if (evtsource[port])
    219  1.1.4.1  mjf 					call_evtchn_do_event(port, regs);
    220  1.1.4.1  mjf #ifdef DOM0OPS
    221  1.1.4.1  mjf 				else
    222  1.1.4.1  mjf 					xenevt_event(port);
    223  1.1.4.1  mjf #endif
    224  1.1.4.1  mjf 			}
    225  1.1.4.1  mjf 		}
    226  1.1.4.1  mjf 	}
    227  1.1.4.1  mjf 
    228  1.1.4.1  mjf #ifdef DIAGNOSTIC
    229  1.1.4.1  mjf 	if (level != ci->ci_ilevel)
    230  1.1.4.1  mjf 		printf("hypervisor done %08x level %d/%d ipending %08x\n",
    231  1.1.4.1  mjf #ifdef XEN3
    232  1.1.4.1  mjf 		    (uint)HYPERVISOR_shared_info->vcpu_info[0].evtchn_pending_sel,
    233  1.1.4.1  mjf #else
    234  1.1.4.1  mjf 		    (uint)HYPERVISOR_shared_info->evtchn_pending_sel,
    235  1.1.4.1  mjf #endif
    236  1.1.4.1  mjf 		    level, ci->ci_ilevel, ci->ci_ipending);
    237  1.1.4.1  mjf #endif
    238  1.1.4.1  mjf }
    239  1.1.4.1  mjf 
    240  1.1.4.1  mjf void
    241  1.1.4.1  mjf hypervisor_unmask_event(unsigned int ev)
    242  1.1.4.1  mjf {
    243  1.1.4.1  mjf 	volatile shared_info_t *s = HYPERVISOR_shared_info;
    244  1.1.4.1  mjf #ifdef PORT_DEBUG
    245  1.1.4.1  mjf 	if (ev == PORT_DEBUG)
    246  1.1.4.1  mjf 		printf("hypervisor_unmask_event %d\n", ev);
    247  1.1.4.1  mjf #endif
    248  1.1.4.1  mjf 
    249  1.1.4.1  mjf 	xen_atomic_clear_bit(&s->evtchn_mask[0], ev);
    250  1.1.4.1  mjf 	/*
    251  1.1.4.1  mjf 	 * The following is basically the equivalent of
    252  1.1.4.1  mjf 	 * 'hw_resend_irq'. Just like a real IO-APIC we 'lose the
    253  1.1.4.1  mjf 	 * interrupt edge' if the channel is masked.
    254  1.1.4.1  mjf 	 */
    255  1.1.4.1  mjf 	if (xen_atomic_test_bit(&s->evtchn_pending[0], ev) &&
    256  1.1.4.1  mjf #ifdef XEN3
    257  1.1.4.1  mjf 	    !xen_atomic_test_and_set_bit(&s->vcpu_info[0].evtchn_pending_sel, ev>>5)) {
    258  1.1.4.1  mjf #else
    259  1.1.4.1  mjf 	    !xen_atomic_test_and_set_bit(&s->evtchn_pending_sel, ev>>5)) {
    260  1.1.4.1  mjf #endif
    261  1.1.4.1  mjf 		xen_atomic_set_bit(&s->vcpu_info[0].evtchn_upcall_pending, 0);
    262  1.1.4.1  mjf 		if (!s->vcpu_info[0].evtchn_upcall_mask)
    263  1.1.4.1  mjf 			hypervisor_force_callback();
    264  1.1.4.1  mjf 	}
    265  1.1.4.1  mjf }
    266  1.1.4.1  mjf 
    267  1.1.4.1  mjf void
    268  1.1.4.1  mjf hypervisor_mask_event(unsigned int ev)
    269  1.1.4.1  mjf {
    270  1.1.4.1  mjf 	volatile shared_info_t *s = HYPERVISOR_shared_info;
    271  1.1.4.1  mjf #ifdef PORT_DEBUG
    272  1.1.4.1  mjf 	if (ev == PORT_DEBUG)
    273  1.1.4.1  mjf 		printf("hypervisor_mask_event %d\n", ev);
    274  1.1.4.1  mjf #endif
    275  1.1.4.1  mjf 
    276  1.1.4.1  mjf 	xen_atomic_set_bit(&s->evtchn_mask[0], ev);
    277  1.1.4.1  mjf }
    278  1.1.4.1  mjf 
    279  1.1.4.1  mjf void
    280  1.1.4.1  mjf hypervisor_clear_event(unsigned int ev)
    281  1.1.4.1  mjf {
    282  1.1.4.1  mjf 	volatile shared_info_t *s = HYPERVISOR_shared_info;
    283  1.1.4.1  mjf #ifdef PORT_DEBUG
    284  1.1.4.1  mjf 	if (ev == PORT_DEBUG)
    285  1.1.4.1  mjf 		printf("hypervisor_clear_event %d\n", ev);
    286  1.1.4.1  mjf #endif
    287  1.1.4.1  mjf 
    288  1.1.4.1  mjf 	xen_atomic_clear_bit(&s->evtchn_pending[0], ev);
    289  1.1.4.1  mjf }
    290  1.1.4.1  mjf 
    291  1.1.4.1  mjf void
    292  1.1.4.1  mjf hypervisor_enable_ipl(unsigned int ipl)
    293  1.1.4.1  mjf {
    294  1.1.4.1  mjf 	u_int32_t l1, l2;
    295  1.1.4.1  mjf 	int l1i, l2i;
    296  1.1.4.1  mjf 	struct cpu_info *ci = curcpu();
    297  1.1.4.1  mjf 
    298  1.1.4.1  mjf 	/*
    299  1.1.4.1  mjf 	 * enable all events for ipl. As we only set an event in ipl_evt_mask
    300  1.1.4.1  mjf 	 * for its lowest IPL, and pending IPLs are processed high to low,
    301  1.1.4.1  mjf 	 * we know that all callback for this event have been processed.
    302  1.1.4.1  mjf 	 */
    303  1.1.4.1  mjf 
    304  1.1.4.1  mjf 	l1 = ci->ci_isources[ipl]->ipl_evt_mask1;
    305  1.1.4.1  mjf 	ci->ci_isources[ipl]->ipl_evt_mask1 = 0;
    306  1.1.4.1  mjf 	while ((l1i = ffs(l1)) != 0) {
    307  1.1.4.1  mjf 		l1i--;
    308  1.1.4.1  mjf 		l1 &= ~(1 << l1i);
    309  1.1.4.1  mjf 		l2 = ci->ci_isources[ipl]->ipl_evt_mask2[l1i];
    310  1.1.4.1  mjf 		ci->ci_isources[ipl]->ipl_evt_mask2[l1i] = 0;
    311  1.1.4.1  mjf 		while ((l2i = ffs(l2)) != 0) {
    312  1.1.4.1  mjf 			int evtch;
    313  1.1.4.1  mjf 
    314  1.1.4.1  mjf 			l2i--;
    315  1.1.4.1  mjf 			l2 &= ~(1 << l2i);
    316  1.1.4.1  mjf 
    317  1.1.4.1  mjf 			evtch = (l1i << 5) + l2i;
    318  1.1.4.1  mjf 			hypervisor_enable_event(evtch);
    319  1.1.4.1  mjf 		}
    320  1.1.4.1  mjf 	}
    321  1.1.4.1  mjf }
    322  1.1.4.1  mjf 
    323  1.1.4.1  mjf void
    324  1.1.4.1  mjf hypervisor_set_ipending(u_int32_t iplmask, int l1, int l2)
    325  1.1.4.1  mjf {
    326  1.1.4.1  mjf 	int ipl;
    327  1.1.4.1  mjf 	struct cpu_info *ci = curcpu();
    328  1.1.4.1  mjf 
    329  1.1.4.1  mjf 	/* set pending bit for the appropriate IPLs */
    330  1.1.4.1  mjf 	ci->ci_ipending |= iplmask;
    331  1.1.4.1  mjf 
    332  1.1.4.1  mjf 	/*
    333  1.1.4.1  mjf 	 * And set event pending bit for the lowest IPL. As IPL are handled
    334  1.1.4.1  mjf 	 * from high to low, this ensure that all callbacks will have been
    335  1.1.4.1  mjf 	 * called when we ack the event
    336  1.1.4.1  mjf 	 */
    337  1.1.4.1  mjf 	ipl = ffs(iplmask);
    338  1.1.4.1  mjf 	KASSERT(ipl > 0);
    339  1.1.4.1  mjf 	ipl--;
    340  1.1.4.1  mjf 	ci->ci_isources[ipl]->ipl_evt_mask1 |= 1 << l1;
    341  1.1.4.1  mjf 	ci->ci_isources[ipl]->ipl_evt_mask2[l1] |= 1 << l2;
    342  1.1.4.1  mjf }
    343