From 437df0a3fbfad7b5bc34d56935d825a8270287ef Mon Sep 17 00:00:00 2001
From: Adrien Destugues <adrien.destugues@opensource.viveris.fr>
Date: Fri, 8 Jan 2021 13:25:11 +0100
Subject: [PATCH] x86_64: fix build

This code was accidentally removed but is still needed.
---
 headers/private/kernel/arch/x86/arch_cpu.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/headers/private/kernel/arch/x86/arch_cpu.h b/headers/private/kernel/arch/x86/arch_cpu.h
index b2f3975056..2ba90b0551 100644
--- a/headers/private/kernel/arch/x86/arch_cpu.h
+++ b/headers/private/kernel/arch/x86/arch_cpu.h
@@ -21,6 +21,10 @@
 #include <arch/x86/arch_cpuasm.h>
 #include <arch/x86/descriptors.h>
 
+#ifdef __x86_64__
+#	include <arch/x86/64/cpu.h>
+#endif
+
 #endif	// !_ASSEMBLER