From b8e2249f51495929499fa21106a5d32235054d2e Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Thu, 26 Feb 2015 14:02:00 +0100 Subject: [PATCH] hw_x86_64: Use _virt_idt_addr member in Idt::load Load the virtual address in the mode transition pages into Interrupt Descriptor Table Register (IDTR). --- repos/base-hw/src/core/spec/x86_64/idt.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/spec/x86_64/idt.cc b/repos/base-hw/src/core/spec/x86_64/idt.cc index a4a7e6e7f..30e9c629a 100644 --- a/repos/base-hw/src/core/spec/x86_64/idt.cc +++ b/repos/base-hw/src/core/spec/x86_64/idt.cc @@ -47,5 +47,5 @@ void Idt::setup() void Idt::load(addr_t const virt_base) { asm volatile ("lidt %0" : : "m" (Descriptor (sizeof(_table) - 1, - reinterpret_cast(_table)))); + _virt_idt_addr(virt_base)))); }