diff options
Diffstat (limited to 'kern/percpu.c')
| -rw-r--r-- | kern/percpu.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/kern/percpu.c b/kern/percpu.c index ab7b4fb6..b57788ed 100644 --- a/kern/percpu.c +++ b/kern/percpu.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/error.h> #include <kern/init.h> @@ -23,9 +27,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 <machine/cpu.h> #include <vm/vm_kmem.h> #include <vm/vm_page.h> |