exinfo.h

Go to the documentation of this file.

#ifndef XTF_X86_EXINFO_H
#define XTF_X86_EXINFO_H

#include <arch/processor.h>

typedef unsigned int exinfo_t;

#define EXINFO_EXPECTED (1u << 31)

#define EXINFO_AVAIL1   (1u << 25)
#define EXINFO_AVAIL0   (1u << 24)

#define EXINFO(vec, ec) (EXINFO_EXPECTED |                          \
                         (((vec) & 0xff) << 16) | ((ec) & 0xffff))

#define EXINFO_SYM(exc, ec) EXINFO(X86_EXC_ ## exc, ec)

static inline unsigned int exinfo_vec(exinfo_t info)
{
    return (info >> 16) & 0xff;
}

static inline unsigned int exinfo_ec(exinfo_t info)
{
    return info & 0xffff;
}

#endif /* XTF_X86_EXINFO_H */

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