From 51a606f183a033e9bb4589430a2f01b3c3dc8988 Mon Sep 17 00:00:00 2001
From: kevans <kevans@FreeBSD.org>
Date: Mon, 23 Sep 2019 12:43:08 +0000
Subject: [PATCH] mips: fix XLPN32 after r352434

SYSINIT usage was added, but the <sys/kernel.h> dependency was not added.
This worked by coincidence, as most of the mips configs have DDB enabled and
pmap.c gets <sys/kernel.h> via ddb.h pollution.

Reported by:	dim
---
 sys/mips/mips/pmap.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys/mips/mips/pmap.c b/sys/mips/mips/pmap.c
index f498fa504d9e..10487ac18738 100644
--- a/sys/mips/mips/pmap.c
+++ b/sys/mips/mips/pmap.c
@@ -68,6 +68,7 @@ __FBSDID("$FreeBSD$");
 
 #include <sys/param.h>
 #include <sys/systm.h>
+#include <sys/kernel.h>
 #include <sys/lock.h>
 #include <sys/mman.h>
 #include <sys/msgbuf.h>