Annotation of Gnu-Mach/xen/evt.c, revision 1.1.1.1

1.1       root        1: /*
                      2:  *  Copyright (C) 2007-2009 Free Software Foundation
                      3:  *
                      4:  * This program is free software ; you can redistribute it and/or modify
                      5:  * it under the terms of the GNU General Public License as published by
                      6:  * the Free Software Foundation ; either version 2 of the License, or
                      7:  * (at your option) any later version.
                      8:  *
                      9:  * This program is distributed in the hope that it will be useful,
                     10:  * but WITHOUT ANY WARRANTY ; without even the implied warranty of
                     11:  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
                     12:  * GNU General Public License for more details.
                     13:  *
                     14:  * You should have received a copy of the GNU General Public License
                     15:  * along with the program ; if not, write to the Free Software
                     16:  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
                     17:  */
                     18: 
                     19: #include <sys/types.h>
                     20: #include <string.h>
                     21: #include <mach/xen.h>
                     22: #include <machine/xen.h>
                     23: #include <machine/ipl.h>
                     24: #include <machine/gdt.h>
                     25: #include <xen/console.h>
                     26: #include "evt.h"
                     27: 
                     28: #define NEVNT (sizeof(unsigned long) * sizeof(unsigned long) * 8)
                     29: int    int_mask[NSPL];
                     30: 
                     31: spl_t curr_ipl;
                     32: 
                     33: void (*ivect[NEVNT])();
                     34: int intpri[NEVNT];
                     35: int iunit[NEVNT];
                     36: 
                     37: void hyp_c_callback(void *ret_addr, void *regs)
                     38: {
                     39:        int i, j, n;
                     40:        int cpu = 0;
                     41:        unsigned long pending_sel;
                     42: 
                     43:        hyp_shared_info.vcpu_info[cpu].evtchn_upcall_pending = 0;
                     44:        /* no need for a barrier on x86, xchg is already one */
                     45: #if !(defined(__i386__) || defined(__x86_64__))
                     46:        wmb();
                     47: #endif
                     48:        while ((pending_sel = xchgl(&hyp_shared_info.vcpu_info[cpu].evtchn_pending_sel, 0))) {
                     49: 
                     50:                for (i = 0; pending_sel; i++, pending_sel >>= 1) {
                     51:                        unsigned long pending;
                     52: 
                     53:                        if (!(pending_sel & 1))
                     54:                                continue;
                     55: 
                     56:                        while ((pending = (hyp_shared_info.evtchn_pending[i] & ~hyp_shared_info.evtchn_mask[i]))) {
                     57: 
                     58:                                n = i * sizeof(unsigned long);
                     59:                                for (j = 0; pending; j++, n++, pending >>= 1) {
                     60:                                        if (!(pending & 1))
                     61:                                                continue;
                     62: 
                     63:                                        if (ivect[n]) {
                     64:                                                spl_t spl = splx(intpri[n]);
                     65:                                                asm ("lock; and %1,%0":"=m"(hyp_shared_info.evtchn_pending[i]):"r"(~(1UL<<j)));
                     66:                                                ivect[n](iunit[n], spl, ret_addr, regs);
                     67:                                                splx_cli(spl);
                     68:                                        } else {
                     69:                                                printf("warning: lost unbound event %d\n", n);
                     70:                                                asm ("lock; and %1,%0":"=m"(hyp_shared_info.evtchn_pending[i]):"r"(~(1UL<<j)));
                     71:                                        }
                     72:                                }
                     73:                        }
                     74:                }
                     75:        }
                     76: }
                     77: 
                     78: void form_int_mask(void)
                     79: {
                     80:        unsigned int i, j, bit, mask;
                     81: 
                     82:        for (i=SPL0; i < NSPL; i++) {
                     83:                for (j=0x00, bit=0x01, mask = 0; j < NEVNT; j++, bit<<=1)
                     84:                        if (intpri[j] <= i)
                     85:                                mask |= bit;
                     86:                int_mask[i] = mask;
                     87:        }
                     88: }
                     89: 
                     90: extern void hyp_callback(void);
                     91: extern void hyp_failsafe_callback(void);
                     92: 
                     93: void hyp_intrinit() {
                     94:        form_int_mask();
                     95:        curr_ipl = SPLHI;
                     96:        hyp_shared_info.evtchn_mask[0] = int_mask[SPLHI];
                     97:        hyp_set_callbacks(KERNEL_CS, hyp_callback,
                     98:                          KERNEL_CS, hyp_failsafe_callback);
                     99: }
                    100: 
                    101: void hyp_evt_handler(evtchn_port_t port, void (*handler)(), int unit, spl_t spl) {
                    102:        if (port > NEVNT)
                    103:                panic("event channel port %d > %d not supported\n", port, NEVNT);
                    104:        intpri[port] = spl;
                    105:        iunit[port] = unit;
                    106:        form_int_mask();
                    107:        wmb();
                    108:        ivect[port] = handler;
                    109: }

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.