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<uint64_t>(_table))));
+				  _virt_idt_addr(virt_base))));
 }