Index: sys/dev/iicbus/iic.c
===================================================================
--- sys/dev/iicbus/iic.c
+++ sys/dev/iicbus/iic.c
@@ -293,7 +293,8 @@
 	struct iic_msg *buf, *m;
 	void **usrbufs;
 	device_t iicdev, parent;
-	int error, i;
+	int error;
+	uint32_t i;
 
 	iicdev = priv->sc->sc_dev;
 	parent = device_get_parent(iicdev);
Index: sys/dev/tdfx/tdfx_pci.c
===================================================================
--- sys/dev/tdfx/tdfx_pci.c
+++ sys/dev/tdfx/tdfx_pci.c
@@ -707,7 +707,8 @@
 	}
 
 	/* Write the data to the intended port */
-	copyin(piod->value, &ret_byte, sizeof(u_int8_t));
+	if (copyin(piod->value, &ret_byte, sizeof(u_int8_t)) != 0)
+		return -EFAULT;
 	workport = piod->port;
 	outb(workport, ret_byte);
 	return 0;