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:
 */