aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva
ModeNameSize
-rw-r--r--.gitignore88logstatsplain
-rw-r--r--Makefile350logstatsplain
-rw-r--r--basic00.sv489logstatsplain
-rw-r--r--basic01.sv386logstatsplain
-rw-r--r--basic02.sv506logstatsplain
-rw-r--r--basic03.sv398logstatsplain
-rw-r--r--basic04.sv329logstatsplain
-rw-r--r--basic04.vhd471logstatsplain
-rw-r--r--basic05.sv413logstatsplain
-rw-r--r--basic05.vhd473logstatsplain
-rw-r--r--counter.sv770logstatsplain
-rw-r--r--extnets.sv289logstatsplain
-rw-r--r--runtest.sh1120logstatsplain
-rw-r--r--sva_not.sv505logstatsplain
-rw-r--r--sva_range.sv256logstatsplain
-rw-r--r--sva_throughout.sv259logstatsplain
teral.Number.Bin */ .highlight .mf { color: #0000DD; font-weight: bold } /* Literal.Number.Float */ .highlight .mh { color: #0000DD; font-weight: bold } /* Literal.Number.Hex */ .highlight .mi { color: #0000DD; font-weight: bold } /* Literal.Number.Integer */ .highlight .mo { color: #0000DD; font-weight: bold } /* Literal.Number.Oct */ .highlight .sa { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Affix */ .highlight .sb { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Backtick */ .highlight .sc { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Char */ .highlight .dl { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Delimiter */ .highlight .sd { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Doc */ .highlight .s2 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Double */ .highlight .se { color: #0044dd; background-color: #fff0f0 } /* Literal.String.Escape */ .highlight .sh { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Heredoc */ .highlight .si { color: #3333bb; background-color: #fff0f0 } /* Literal.String.Interpol */ .highlight .sx { color: #22bb22; background-color: #f0fff0 } /* Literal.String.Other */ .highlight .sr { color: #008800; background-color: #fff0ff } /* Literal.String.Regex */ .highlight .s1 { color: #dd2200; background-color: #fff0f0 } /* Literal.String.Single */ .highlight .ss { color: #aa6600; background-color: #fff0f0 } /* Literal.String.Symbol */ .highlight .bp { color: #003388 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #0066bb; font-weight: bold } /* Name.Function.Magic */ .highlight .vc { color: #336699 } /* Name.Variable.Class */ .highlight .vg { color: #dd7700 } /* Name.Variable.Global */ .highlight .vi { color: #3333bb } /* Name.Variable.Instance */ .highlight .vm { color: #336699 } /* Name.Variable.Magic */ .highlight .il { color: #0000DD; font-weight: bold } /* Literal.Number.Integer.Long */
/*
 *  $Id$
 *
 *  Edimax boards
 *
 *  Copyright (C) 2007 OpenWrt.org
 *  Copyright (C) 2007 Gabor Juhos <juhosg at openwrt.org>
 *
 *  This program is free software; you can redistribute it and/or
 *  modify it under the terms of the GNU General Public License
 *  as published by the Free Software Foundation; either version 2
 *  of the License, or (at your option) any later version.
 *
 *  This program is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with this program; if not, write to the
 *  Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
 *  Boston, MA  02110-1301, USA.
 *
 */

#include <linux/kernel.h>
#include <linux/init.h>

#include <asm/bootinfo.h>
#include <asm/gpio.h>

#include <adm5120_board.h>
#include <adm5120_irq.h>
#include <adm5120_platform.h>

static struct adm5120_pci_irq br61xx_pci_irqs[] __initdata = {
	PCIIRQ(2, 0, 1, ADM5120_IRQ_PCI0),
};

static struct mtd_partition br61xx_partitions[] = {
	{
		.name	= "admboot",
		.offset	= 0,
		.size	= 32*1024,
		.mask_flags = MTD_WRITEABLE,
	} , {
		.name	= "config",
		.offset	= MTDPART_OFS_APPEND,
		.size	= 32*1024,
	} , {
		.name	= "firmware",
		.offset	= MTDPART_OFS_APPEND,
		.size	= MTDPART_SIZ_FULL,
	}
};

static struct platform_device *br6104k_devices[] __initdata = {
	&adm5120_flash0_device,
	&adm5120_hcd_device,
};

static struct platform_device *br61x4wg_devices[] __initdata = {
	&adm5120_flash0_device,
};

static void __init br61xx_setup(void) {
	/* setup data for flash0 device */
	adm5120_flash0_data.nr_parts = ARRAY_SIZE(br61xx_partitions);
	adm5120_flash0_data.parts = br61xx_partitions;

	/* TODO: setup mac addresses, if possible */
}

unsigned char br61xx_vlans[6] = {
	0x41, 0x42, 0x44, 0x48, 0x50, 0x00
};

/*--------------------------------------------------------------------------*/

ADM5120_BOARD_START(BR6104K, "Edimax BR-6104K/6104KP")
	.board_setup	= br61xx_setup,
	.eth_num_ports	= 5,
	.eth_vlans	= br61xx_vlans,
	.num_devices	= ARRAY_SIZE(br6104k_devices),
	.devices	= br6104k_devices,
ADM5120_BOARD_END

ADM5120_BOARD_START(BR61x4WG, "Edimax BR-6104WG/6114WG")
	.board_setup	= br61xx_setup,
	.eth_num_ports	= 5,
	.eth_vlans	= br61xx_vlans,
	.num_devices	= ARRAY_SIZE(br61x4wg_devices),
	.devices	= br61x4wg_devices,
	.pci_nr_irqs	= ARRAY_SIZE(br61xx_pci_irqs),
	.pci_irq_map	= br61xx_pci_irqs,
ADM5120_BOARD_END