--- b/sys/mips/ingenic/jz4780_machdep.c	
+++ b/sys/mips/ingenic/jz4780_machdep.c	
@@ -39,6 +39,7 @@ __FBSDID("$FreeBSD$");
 #include <sys/boot.h>
 #include <sys/cons.h>
 #include <sys/kdb.h>
+#include <sys/mutex.h>
 #include <sys/reboot.h>
 
 #ifdef FDT
--- b/sys/mips/ingenic/jz4780_mmc.c	
+++ b/sys/mips/ingenic/jz4780_mmc.c	
@@ -775,7 +775,7 @@ jz4780_mmc_read_ivar(device_t bus, device_t child, int which,
 		*(int *)result = sc->sc_host.ios.power_mode;
 		break;
 	case MMCBR_IVAR_RETUNE_REQ:
-		*(int *)result = return_req_none;
+		*(int *)result = retune_req_none;
 		break;
 	case MMCBR_IVAR_VDD:
 		*(int *)result = sc->sc_host.ios.vdd;
--- b/sys/mips/ingenic/jz4780_smb.c	
+++ b/sys/mips/ingenic/jz4780_smb.c	
@@ -39,6 +39,8 @@ __FBSDID("$FreeBSD$");
 #include <sys/rman.h>
 #include <sys/kernel.h>
 #include <sys/module.h>
+#include <sys/lock.h>
+#include <sys/mutex.h>
 #include <sys/time.h>
 #include <machine/bus.h>