diff options
Diffstat (limited to 'sys/arm/broadcom/bcm2835/bcm2835_fbd.c')
-rw-r--r-- | sys/arm/broadcom/bcm2835/bcm2835_fbd.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/sys/arm/broadcom/bcm2835/bcm2835_fbd.c b/sys/arm/broadcom/bcm2835/bcm2835_fbd.c index 2b0b89d36342..50e8689e9d83 100644 --- a/sys/arm/broadcom/bcm2835/bcm2835_fbd.c +++ b/sys/arm/broadcom/bcm2835/bcm2835_fbd.c @@ -1,5 +1,5 @@ /*- - * SPDX-License-Identifier: BSD-2-Clause-FreeBSD + * SPDX-License-Identifier: BSD-2-Clause * * Copyright (c) 2012 Oleksandr Tymoshenko <gonzo@freebsd.org> * Copyright (c) 2012, 2013 The FreeBSD Foundation @@ -30,8 +30,6 @@ * SUCH DAMAGE. * */ -#include <sys/cdefs.h> -__FBSDID("$FreeBSD$"); #include <sys/param.h> #include <sys/systm.h> @@ -152,12 +150,12 @@ bcm_fb_setup_fbd(struct bcmsc_softc *sc) fbd = device_add_child(sc->dev, "fbd", device_get_unit(sc->dev)); if (fbd == NULL) { device_printf(sc->dev, "Failed to add fbd child\n"); - pmap_unmapdev(sc->info.fb_vbase, sc->info.fb_size); + pmap_unmapdev((void *)sc->info.fb_vbase, sc->info.fb_size); return (ENXIO); } else if (device_probe_and_attach(fbd) != 0) { device_printf(sc->dev, "Failed to attach fbd device\n"); device_delete_child(sc->dev, fbd); - pmap_unmapdev(sc->info.fb_vbase, sc->info.fb_size); + pmap_unmapdev((void *)sc->info.fb_vbase, sc->info.fb_size); return (ENXIO); } |