gsi.h

/*
 * Global System Interrupts (GSI)
 *
 * Copyright (C) 2009-2011 Udo Steinberg <udo@hypervisor.org>
 * Economic rights: Technische Universitaet Dresden (Germany)
 *
 * This file is part of the NOVA microhypervisor.
 *
 * NOVA is free software: you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 *
 * NOVA is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU General Public License version 2 for more details.
 */
 
#pragma once
 
#include "assert.h"
#include "compiler.h"
#include "config.h"
 
class Gsi
{
    public:
        uint8           vec;
        uint8           trg : 1,
                        pol : 1;
 
        static Gsi      gsi_table[NUM_GSI];
        static unsigned irq_table[NUM_IRQ];
 
        INIT
        static void setup();
 
        REGPARM (1)
        static void vector (unsigned) asm ("gsi_vector");
};