Return to xen.c CVS log

Up to [GnuMach] / Gnu-Mach / xen

Annotation of Gnu-Mach/xen/xen.c, revision 1.1

1.1     ! root        1: /*
        !             2:  *  Copyright (C) 2007-2011 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 <xen/block.h>
        !            25: #include <xen/console.h>
        !            26: #include <xen/grant.h>
        !            27: #include <xen/net.h>
        !            28: #include <xen/store.h>
        !            29: #include <xen/time.h>
        !            30: #include "xen.h"
        !            31: #include "evt.h"
        !            32: 
        !            33: void hyp_debug()
        !            34: {
        !            35:        panic("debug");
        !            36: }
        !            37: 
        !            38: void hyp_init(void)
        !            39: { 
        !            40:         hyp_grant_init(); 
        !            41:         hyp_store_init(); 
        !            42:        evtchn_port_t port = hyp_event_channel_bind_virq(VIRQ_DEBUG, 0);
        !            43:        hyp_evt_handler(port, hyp_debug, 0, SPL7);
        !            44: } 
        !            45: 
        !            46: void hyp_dev_init(void)
        !            47: {
        !            48:        /* these depend on hyp_init() and working threads */
        !            49:        hyp_block_init(); 
        !            50:        hyp_net_init(); 
        !            51: }
        !            52: 
        !            53: void _hyp_halt(void)
        !            54: {
        !            55:        hyp_halt();
        !            56: }
        !            57: 
        !            58: void _hyp_todo(unsigned long from)
        !            59: {
        !            60:        printf("TODO: at %lx\n",from);
        !            61:        hyp_halt();
        !            62: }
        !            63: 
        !            64: extern int int_mask[];
        !            65: void hyp_idle(void)
        !            66: {
        !            67:        int cpu = 0;
        !            68:        hyp_shared_info.vcpu_info[cpu].evtchn_upcall_mask = 0xff;
        !            69:        barrier();
        !            70:        /* Avoid blocking if there are pending events */
        !            71:        if (!hyp_shared_info.vcpu_info[cpu].evtchn_upcall_pending &&
        !            72:                !hyp_shared_info.evtchn_pending[cpu])
        !            73:                hyp_block();
        !            74:        while (1) {
        !            75:                hyp_shared_info.vcpu_info[cpu].evtchn_upcall_mask = 0x00;
        !            76:                barrier();
        !            77:                if (!hyp_shared_info.vcpu_info[cpu].evtchn_upcall_pending &&
        !            78:                        !hyp_shared_info.evtchn_pending[cpu])
        !            79:                        /* Didn't miss any event, can return to threads.  */
        !            80:                        break;
        !            81:                hyp_shared_info.vcpu_info[cpu].evtchn_upcall_mask = 0xff;
        !            82:                hyp_c_callback(NULL,NULL);
        !            83:        }
        !            84: }

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