+// SPDX-License-Identifier: GPL-2.0+
/*
* pci.c -- WindRiver SBC8349 PCI board support.
* Copyright (c) 2006 Wind River Systems, Inc.
* Copyright (C) 2006-2009 Freescale Semiconductor, Inc.
*
* Based on MPC8349 PCI support but w/o PIB related code.
- *
- * SPDX-License-Identifier: GPL-2.0+
*/
#include <asm/mmu.h>