1/*
2 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#include <sel4vmmplatsupport/plat/device_map.h>
8#include <sel4vmmplatsupport/device.h>
9
10const struct device dev_usb1 = {
11    .name = "usb3",
12    .pstart = USB1_PADDR,
13    .size = 0x1000,
14    .handle_device_fault = NULL,
15    .priv = NULL
16};
17
18
19const struct device dev_usb3 = {
20    .name = "usb3",
21    .pstart = USB3_PADDR,
22    .size = 0x1000,
23    .handle_device_fault = NULL,
24    .priv = NULL
25};
26
27const struct device dev_sdmmc = {
28    .name = "usb3",
29    .pstart = SDMMC_PADDR,
30    .size = 0x1000,
31    .handle_device_fault = NULL,
32    .priv = NULL
33};
34
35const struct device dev_rtc_kbc_pmc = {
36    .name = "rtc_kbc_pmc",
37    .pstart = RTC_PADDR,
38    .size = 0x1000,
39    .handle_device_fault = NULL,
40    .priv = NULL
41};
42
43const struct device dev_data_memory = {
44    .name = "data_memory",
45    .pstart = DATA_MEMORY_PADDR,
46    .size = 0x1000,
47    .handle_device_fault = NULL,
48    .priv = NULL
49};
50
51const struct device dev_exception_vectors = {
52    .name = "exception_vectors",
53    .pstart = EXCEPTION_VECTORS_PADDR,
54    .size = 0x1000,
55    .handle_device_fault = NULL,
56    .priv = NULL
57};
58
59const struct device dev_system_registers = {
60    .name = "system_registers",
61    .pstart = SYSTEM_REGISTERS_PADDR,
62    .size = 0x1000,
63    .handle_device_fault = NULL,
64    .priv = NULL
65};
66
67const struct device dev_ictlr = {
68    .name = "ictlr",
69    .pstart = ICTLR_PADDR,
70    .size = 0x1000,
71    .handle_device_fault = NULL,
72    .priv = NULL
73};
74
75const struct device dev_apb_misc = {
76    .name = "apb_misc",
77    .pstart = APB_MISC_PADDR,
78    .size = 0x1000,
79    .handle_device_fault = NULL,
80    .priv = NULL
81};
82
83const struct device dev_fuse = {
84    .name = "fuse",
85    .pstart = FUSE_PADDR,
86    .size = 0x1000,
87    .handle_device_fault = NULL,
88    .priv = NULL
89};
90
91const struct device dev_gpios = {
92    .name = "gpios",
93    .pstart = GPIOS_PADDR,
94    .size = 0x1000,
95    .handle_device_fault = NULL,
96    .priv = NULL
97};
98