diff --git a/sys/dev/extres/hwreset/hwreset_if.m b/sys/dev/extres/hwreset/hwreset_if.m
index f1816f9ef81f..87f1cb0da244 100644
--- a/sys/dev/extres/hwreset/hwreset_if.m
+++ b/sys/dev/extres/hwreset/hwreset_if.m
@@ -1,72 +1,74 @@
 #-
 # Copyright 2016 Michal Meloun <mmel@FreeBSD.org>
 # All rights reserved.
 #
 # Redistribution and use in source and binary forms, with or without
 # modification, are permitted provided that the following conditions
 # are met:
 # 1. Redistributions of source code must retain the above copyright
 #    notice, this list of conditions and the following disclaimer.
 # 2. Redistributions in binary form must reproduce the above copyright
 #    notice, this list of conditions and the following disclaimer in the
 #    documentation and/or other materials provided with the distribution.
 #
 # THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 # ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 # ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 # FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 # DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 # OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 # HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 # LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 # OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 # SUCH DAMAGE.
 #
 # $FreeBSD$
 #
 
+#include "opt_platform.h"
+
 #ifdef FDT
 #include <sys/types.h>
 #include <dev/ofw/ofw_bus.h>
 #endif
 
 INTERFACE hwreset;
 
 #ifdef FDT
 HEADER {
 int hwreset_default_ofw_map(device_t , phandle_t, int, pcell_t *, intptr_t *);
 }
 
 #
 # map fdt property cells to reset id
 # Returns 0 on success or a standard errno value.
 #
 METHOD int map {
 	device_t	provider_dev;
 	phandle_t	xref;
 	int		ncells;
 	pcell_t		*cells;
 	intptr_t	*id;
 } DEFAULT hwreset_default_ofw_map;
 #endif
 
 #
 # Assert/deassert given reset.
 # Returns 0 on success or a standard errno value.
 #
 METHOD int assert {
 	device_t	provider_dev;
 	intptr_t	id;
 	bool		value;
 };
 
 #
 # Get actual status of given reset.
 # Returns 0 on success or a standard errno value.
 #
 METHOD int is_asserted {
 	device_t	provider_dev;
 	intptr_t	id;
 	bool		*value;
 };
diff --git a/sys/dev/iicbus/pmic/rockchip/rk8xx.c b/sys/dev/iicbus/pmic/rockchip/rk8xx.c
index bf6e5833665a..bd23516dd2c4 100644
--- a/sys/dev/iicbus/pmic/rockchip/rk8xx.c
+++ b/sys/dev/iicbus/pmic/rockchip/rk8xx.c
@@ -1,194 +1,196 @@
 /*-
  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
  *
  * Copyright (c) 2018-2021 Emmanuel Vadot <manu@FreeBSD.org>
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
  *    documentation and/or other materials provided with the distribution.
  *
  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  * SUCH DAMAGE.
  */
 
+#include "opt_platform.h"
+
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
 #include <sys/param.h>
 #include <sys/bus.h>
 #include <sys/clock.h>
 #include <sys/eventhandler.h>
 #include <sys/kernel.h>
 #include <sys/module.h>
 #include <sys/reboot.h>
 #include <sys/mutex.h>
 #include <sys/rman.h>
 #include <machine/bus.h>
 
 #include <dev/iicbus/iiconf.h>
 #include <dev/iicbus/iicbus.h>
 
 #include <dev/ofw/ofw_bus.h>
 #include <dev/ofw/ofw_bus_subr.h>
 
 #include <dev/iicbus/pmic/rockchip/rk805reg.h>
 #include <dev/iicbus/pmic/rockchip/rk808reg.h>
 #include <dev/iicbus/pmic/rockchip/rk8xx.h>
 
 #include "clock_if.h"
 #include "regdev_if.h"
 
 int
 rk8xx_read(device_t dev, uint8_t reg, uint8_t *data, uint8_t size)
 {
 	int err;
 
 	err = iicdev_readfrom(dev, reg, data, size, IIC_INTRWAIT);
 	return (err);
 }
 
 int
 rk8xx_write(device_t dev, uint8_t reg, uint8_t *data, uint8_t size)
 {
 
 	return (iicdev_writeto(dev, reg, data, size, IIC_INTRWAIT));
 }
 
 static void
 rk8xx_start(void *pdev)
 {
 	struct rk8xx_softc *sc;
 	device_t dev;
 	uint8_t data[2];
 	int err;
 
 	dev = pdev;
 	sc = device_get_softc(dev);
 
 	/* No version register in RK808 */
 	if (bootverbose && sc->type == RK805) {
 		err = rk8xx_read(dev, RK805_CHIP_NAME, data, 1);
 		if (err != 0) {
 			device_printf(dev, "Cannot read chip name reg\n");
 			return;
 		}
 		err = rk8xx_read(dev, RK805_CHIP_VER, data + 1, 1);
 		if (err != 0) {
 			device_printf(dev, "Cannot read chip version reg\n");
 			return;
 		}
 		device_printf(dev, "Chip Name: %x\n",
 		    data[0] << 4 | ((data[1] >> 4) & 0xf));
 		device_printf(dev, "Chip Version: %x\n", data[1] & 0xf);
 	}
 
 	/* Register this as a 1Hz clock */
 	clock_register(dev, 1000000);
 
 	config_intrhook_disestablish(&sc->intr_hook);
 }
 
 static void
 rk8xx_poweroff(void *arg, int howto)
 {
 	struct rk8xx_softc *sc = arg;
 	int error;
 	uint8_t val;
 
 	if ((howto & RB_POWEROFF) == 0)
 		return;
 
 	device_printf(sc->dev, "Powering off...\n");
 	error = rk8xx_read(sc->dev, sc->dev_ctrl.dev_ctrl_reg, &val, 1);
 	if (error == 0) {
 		if (howto & RB_POWEROFF)
 			val |= sc->dev_ctrl.pwr_off_mask;
 		else if (howto & RB_POWERCYCLE) {
 			if (sc->type == RK809 || sc->type == RK817) {
 				if (bootverbose) {
 					device_printf(sc->dev,
 					    "Powercycle PMIC\n");
 				}
 				val |= sc->dev_ctrl.pwr_rst_mask;;
 			} else {
 				/* Poweroff PMIC that can't powercycle */
 				val |= sc->dev_ctrl.pwr_off_mask;
 			}
 		}
 		error = rk8xx_write(sc->dev, sc->dev_ctrl.dev_ctrl_reg,
 		    &val, 1);
 
 		/* Wait a bit for the command to take effect. */
 		if (error == 0)
 			DELAY(100);
 	}
 	device_printf(sc->dev, "Power off failed\n");
 }
 
 int
 rk8xx_attach(struct rk8xx_softc *sc)
 {
 	int error;
 
 	error = rk8xx_attach_clocks(sc);
 	if (error != 0)
 		return (error);
 
 	sc->intr_hook.ich_func = rk8xx_start;
 	sc->intr_hook.ich_arg = sc->dev;
 	if (config_intrhook_establish(&sc->intr_hook) != 0)
 		return (ENOMEM);
 
 	rk8xx_attach_regulators(sc);
 
 	if (OF_hasprop(ofw_bus_get_node(sc->dev),
 	    "rockchip,system-power-controller")) {
 		/*
 		 * The priority is chosen to override PSCI and EFI shutdown
 		 * methods as those two just hang without powering off on Rock64
 		 * at least.
 		 */
 		EVENTHANDLER_REGISTER(shutdown_final, rk8xx_poweroff, sc,
 		    SHUTDOWN_PRI_LAST - 2);
 	}
 
 	return (0);
 }
 
 static int
 rk8xx_detach(device_t dev)
 {
 
 	/* We cannot detach regulators */
 	return (EBUSY);
 }
 
 static device_method_t rk8xx_methods[] = {
 	DEVMETHOD(device_detach,	rk8xx_detach),
 
 	/* regdev interface */
 	DEVMETHOD(regdev_map,		rk8xx_map),
 
 	/* Clock interface */
 	DEVMETHOD(clock_gettime,	rk8xx_gettime),
 	DEVMETHOD(clock_settime,	rk8xx_settime),
 
 	DEVMETHOD_END
 };
 
 DEFINE_CLASS_0(rk8xx, rk8xx_driver, rk8xx_methods,
     sizeof(struct rk8xx_softc));
diff --git a/sys/dev/xdma/xdma_if.m b/sys/dev/xdma/xdma_if.m
index cbf0c8e8cb05..61c711d6e24a 100644
--- a/sys/dev/xdma/xdma_if.m
+++ b/sys/dev/xdma/xdma_if.m
@@ -1,152 +1,154 @@
 #-
 # Copyright (c) 2016-2019 Ruslan Bukin <br@bsdpad.com>
 # All rights reserved.
 #
 # This software was developed by SRI International and the University of
 # Cambridge Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
 # ("CTSRD"), as part of the DARPA CRASH research programme.
 #
 # Redistribution and use in source and binary forms, with or without
 # modification, are permitted provided that the following conditions
 # are met:
 # 1. Redistributions of source code must retain the above copyright
 #    notice, this list of conditions and the following disclaimer.
 # 2. Redistributions in binary form must reproduce the above copyright
 #    notice, this list of conditions and the following disclaimer in the
 #    documentation and/or other materials provided with the distribution.
 #
 # THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 # ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 # ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 # FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 # DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 # OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 # HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 # LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 # OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 # SUCH DAMAGE.
 #
 # $FreeBSD$
 #
 
+#include "opt_platform.h"
+
 #include <machine/bus.h>
 
 #ifdef FDT
 #include <dev/fdt/fdt_common.h>
 #include <dev/ofw/ofw_bus.h>
 #include <dev/ofw/ofw_bus_subr.h>
 #endif
 
 #include <dev/xdma/xdma.h>
 
 INTERFACE xdma;
 
 #
 # Request a transfer.
 #
 METHOD int channel_request {
 	device_t		dev;
 	struct xdma_channel	*xchan;
 	struct xdma_request	*req;
 };
 
 #
 # Prepare xDMA channel for a scatter-gather transfer.
 #
 METHOD int channel_prep_sg {
 	device_t		dev;
 	struct xdma_channel	*xchan;
 };
 
 #
 # Query DMA engine driver for the amount of free entries
 # (descriptors) are available.
 #
 METHOD int channel_capacity {
 	device_t			dev;
 	struct xdma_channel		*xchan;
 	uint32_t			*capacity;
 };
 
 #
 # Submit sglist list to DMA engine driver.
 #
 METHOD int channel_submit_sg {
 	device_t			dev;
 	struct xdma_channel		*xchan;
 	struct xdma_sglist		*sg;
 	uint32_t			sg_n;
 };
 
 #
 # Notify driver we have machine-dependend data.
 #
 METHOD int ofw_md_data {
 	device_t dev;
 	pcell_t *cells;
 	int ncells;
 	void **data;
 };
 
 #
 # Allocate both virtual and harware channels.
 #
 METHOD int channel_alloc {
 	device_t dev;
 	struct xdma_channel *xchan;
 };
 
 #
 # Free the real hardware channel.
 #
 METHOD int channel_free {
 	device_t dev;
 	struct xdma_channel *xchan;
 };
 
 #
 # Begin, pause or terminate the channel operation.
 #
 METHOD int channel_control {
 	device_t dev;
 	struct xdma_channel *xchan;
 	int cmd;
 };
 
 # IOMMU interface
 
 #
 # pmap is initialized
 #
 METHOD int iommu_init {
 	device_t dev;
 	struct xdma_iommu *xio;
 };
 
 #
 # pmap is released
 #
 METHOD int iommu_release {
 	device_t dev;
 	struct xdma_iommu *xio;
 };
 
 #
 # Mapping entered
 #
 METHOD int iommu_enter {
 	device_t dev;
 	struct xdma_iommu *xio;
 	vm_offset_t va;
 	vm_offset_t pa;
 };
 
 #
 # Mapping removed
 #
 METHOD int iommu_remove {
 	device_t dev;
 	struct xdma_iommu *xio;
 	vm_offset_t va;
 };