2015-02-13 11:16:51 +01:00
|
|
|
#ifndef _IDT_H_
|
|
|
|
#define _IDT_H_
|
|
|
|
|
|
|
|
#include <base/stdint.h>
|
|
|
|
|
|
|
|
namespace Genode
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* Interrupt Descriptor Table (IDT)
|
|
|
|
* See Intel SDM Vol. 3A, section 6.10
|
|
|
|
*/
|
|
|
|
class Idt;
|
|
|
|
}
|
|
|
|
|
|
|
|
class Genode::Idt
|
|
|
|
{
|
|
|
|
private:
|
|
|
|
|
|
|
|
enum {
|
2015-02-20 16:48:31 +01:00
|
|
|
SIZE_IDT = 256,
|
|
|
|
SYSCALL_VEC = 0x80,
|
2015-02-13 11:16:51 +01:00
|
|
|
};
|
|
|
|
|
2015-02-26 13:51:56 +01:00
|
|
|
/**
|
|
|
|
* Return virtual address of the IDT for given virtual mode transition
|
|
|
|
* base.
|
|
|
|
*/
|
|
|
|
static addr_t _virt_idt_addr(addr_t const virt_base);
|
|
|
|
|
2015-02-13 11:16:51 +01:00
|
|
|
/**
|
|
|
|
* 64-Bit Mode IDT gate, see Intel SDM Vol. 3A, section 6.14.1.
|
|
|
|
*/
|
|
|
|
struct gate
|
|
|
|
{
|
|
|
|
uint16_t offset_15_00;
|
|
|
|
uint16_t segment_sel;
|
|
|
|
uint16_t flags;
|
|
|
|
uint16_t offset_31_16;
|
|
|
|
uint32_t offset_63_32;
|
|
|
|
uint32_t reserved;
|
|
|
|
};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* IDT table
|
|
|
|
*/
|
2015-02-24 15:43:10 +01:00
|
|
|
__attribute__((aligned(8))) gate _table[SIZE_IDT];
|
2015-02-13 11:16:51 +01:00
|
|
|
|
|
|
|
public:
|
|
|
|
|
|
|
|
/**
|
|
|
|
* Setup IDT.
|
|
|
|
*/
|
2015-02-24 15:43:10 +01:00
|
|
|
void setup();
|
2015-02-13 11:16:51 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* Load IDT into IDTR.
|
2015-02-26 14:01:16 +01:00
|
|
|
*
|
|
|
|
* \param virt_base virtual base address of mode transition pages
|
2015-02-13 11:16:51 +01:00
|
|
|
*/
|
2015-02-26 14:01:16 +01:00
|
|
|
void load(addr_t const virt_base);
|
2015-02-13 11:16:51 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
#endif /* _IDT_H_ */
|