diff options
| author | danh-arm <dan.handley@arm.com> | 2016-04-13 10:03:00 +0100 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2016-04-13 10:03:00 +0100 |
| commit | 43b97eda2592d19832da8e93b77fea94acc1c869 (patch) | |
| tree | 2d23a9db9a2639ebbf377786d376e5c973f074ed /include/drivers/arm/tzc400.h | |
| parent | 72c1dc149c2b4a89735a30ccc3e13dccb66a0b74 (diff) | |
| parent | 9fbdb80209a4df6c0b0a696599e32987ae3b5135 (diff) | |
Merge pull request #590 from yatharth-arm/yk/tzc400
Use unsigned long long instead of uintptr_t in TZC400/DMC500 drivers
Diffstat (limited to 'include/drivers/arm/tzc400.h')
| -rw-r--r-- | include/drivers/arm/tzc400.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/include/drivers/arm/tzc400.h b/include/drivers/arm/tzc400.h index 30856889..d8af7e15 100644 --- a/include/drivers/arm/tzc400.h +++ b/include/drivers/arm/tzc400.h @@ -139,8 +139,8 @@ void tzc400_configure_region0(tzc_region_attributes_t sec_attr, unsigned int ns_device_access); void tzc400_configure_region(unsigned int filters, int region, - uintptr_t region_base, - uintptr_t region_top, + unsigned long long region_base, + unsigned long long region_top, tzc_region_attributes_t sec_attr, unsigned int ns_device_access); void tzc400_set_action(tzc_action_t action); @@ -157,8 +157,8 @@ static inline void tzc_configure_region0( static inline void tzc_configure_region( unsigned int filters, int region, - uintptr_t region_base, - uintptr_t region_top, + unsigned long long region_base, + unsigned long long region_top, tzc_region_attributes_t sec_attr, unsigned int ns_device_access) __deprecated; static inline void tzc_set_action(tzc_action_t action) __deprecated; @@ -180,8 +180,8 @@ static inline void tzc_configure_region0( static inline void tzc_configure_region( unsigned int filters, int region, - uintptr_t region_base, - uintptr_t region_top, + unsigned long long region_base, + unsigned long long region_top, tzc_region_attributes_t sec_attr, unsigned int ns_device_access) { |