diff options
Diffstat (limited to 'arch/x86/machine/cpu.c')
| -rw-r--r-- | arch/x86/machine/cpu.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/arch/x86/machine/cpu.c b/arch/x86/machine/cpu.c index 5fc21315..19282121 100644 --- a/arch/x86/machine/cpu.c +++ b/arch/x86/machine/cpu.c @@ -15,6 +15,10 @@ * along with this program. If not, see <http://www.gnu.org/licenses/>. */ +#include <stddef.h> +#include <stdint.h> +#include <string.h> + #include <kern/assert.h> #include <kern/init.h> #include <kern/macros.h> @@ -22,9 +26,6 @@ #include <kern/param.h> #include <kern/percpu.h> #include <kern/printk.h> -#include <kern/stddef.h> -#include <kern/stdint.h> -#include <kern/string.h> #include <kern/thread.h> #include <kern/xcall.h> #include <machine/acpimp.h> |