diff --git a/sys/amd64/include/md_var.h b/sys/amd64/include/md_var.h --- a/sys/amd64/include/md_var.h +++ b/sys/amd64/include/md_var.h @@ -36,6 +36,7 @@ #ifndef _MACHINE_MD_VAR_H_ #define _MACHINE_MD_VAR_H_ +#include #include extern char ctx_switch_xsave[]; diff --git a/sys/amd64/vmm/vmm_host.h b/sys/amd64/vmm/vmm_host.h --- a/sys/amd64/vmm/vmm_host.h +++ b/sys/amd64/vmm/vmm_host.h @@ -29,6 +29,8 @@ #ifndef _VMM_HOST_H_ #define _VMM_HOST_H_ +#include + #ifndef _KERNEL #error "no user-serviceable parts inside" #endif