1 /* 2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef SMMU_V3_H 8 #define SMMU_V3_H 9 10 #include <stdint.h> 11 12 #include <lib/utils_def.h> 13 14 /* SMMUv3 register offsets from device base */ 15 #define SMMU_S_IDR1 U(0x8004) 16 #define SMMU_S_INIT U(0x803c) 17 18 /* SMMU_S_IDR1 register fields */ 19 #define SMMU_S_IDR1_SECURE_IMPL_SHIFT 31 20 #define SMMU_S_IDR1_SECURE_IMPL_MASK U(0x1) 21 22 /* SMMU_S_INIT register fields */ 23 #define SMMU_S_INIT_INV_ALL_MASK U(0x1) 24 25 26 int smmuv3_init(uintptr_t smmu_base); 27 28 #endif /* SMMU_V3_H */ 29