27 lines
550 B
C
27 lines
550 B
C
|
/*
|
||
|
|
* Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
|
||
|
|
*
|
||
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
||
|
|
*/
|
||
|
|
|
||
|
|
#ifndef __SMMU_V3_H__
|
||
|
|
#define __SMMU_V3_H__
|
||
|
|
|
||
|
|
#include <stdint.h>
|
||
|
|
|
||
|
|
/* SMMUv3 register offsets from device base */
|
||
|
|
#define SMMU_S_IDR1 0x8004
|
||
|
|
#define SMMU_S_INIT 0x803c
|
||
|
|
|
||
|
|
/* SMMU_S_IDR1 register fields */
|
||
|
|
#define SMMU_S_IDR1_SECURE_IMPL_SHIFT 31
|
||
|
|
#define SMMU_S_IDR1_SECURE_IMPL_MASK 0x1
|
||
|
|
|
||
|
|
/* SMMU_S_INIT register fields */
|
||
|
|
#define SMMU_S_INIT_INV_ALL_MASK 0x1
|
||
|
|
|
||
|
|
|
||
|
|
int smmuv3_init(uintptr_t smmu_base);
|
||
|
|
|
||
|
|
#endif /* __SMMU_V3_H__ */
|