X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=lib%2Fbarrelfish%2Farch%2Fx86_64%2Fldt.c;h=cda6b41ec86970864fbbde6b2669dfc9069d9b6c;hp=b31f8823d179c1a5e9867d9b87b48a1f32ddc5a6;hb=95d139a624b62c0e5a9a9cdec0e87768b1681c13;hpb=363a41aa2a0ef941c30c8fa9e86a9fc815fd0a41

diff --git a/lib/barrelfish/arch/x86_64/ldt.c b/lib/barrelfish/arch/x86_64/ldt.c
index b31f882..cda6b41 100644
--- a/lib/barrelfish/arch/x86_64/ldt.c
+++ b/lib/barrelfish/arch/x86_64/ldt.c
@@ -19,11 +19,7 @@
 #include <barrelfish/syscalls.h>
 #include <barrelfish/ldt.h>
 #include <arch/ldt.h>
-#ifdef __k1om__
-#include <target/k1om/barrelfish_kpi/cpu_target.h> // segment_descriptor
-#else
 #include <target/x86_64/barrelfish_kpi/cpu_target.h> // segment_descriptor
-#endif
 #include <barrelfish_kpi/cpu_arch.h> // segment_descriptor
 #include <stdio.h>
 #include <string.h>