idt.h

Go to the documentation of this file.

#ifndef XTF_X86_IDT_H
#define XTF_X86_IDT_H

#define X86_VEC_RET2KERN 0x20

#define X86_VEC_AVAIL    0x21


#ifndef __ASSEMBLY__

struct xtf_idte
{
    unsigned long addr;
    unsigned int cs, dpl;
};

int xtf_set_idte(unsigned int vector,
                 const struct xtf_idte *idte);

#endif /* __ASSEMBLY__ */

#endif /* XTF_X86_IDT_H */

/*
 * Local variables:
 * mode: C
 * c-file-style: "BSD"
 * c-basic-offset: 4
 * tab-width: 4
 * indent-tabs-mode: nil
 * End:
 */