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