diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/drivers/arm/tzc400.h | 12 | ||||
| -rw-r--r-- | include/drivers/arm/tzc_dmc500.h | 4 |
2 files changed, 8 insertions, 8 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) { diff --git a/include/drivers/arm/tzc_dmc500.h b/include/drivers/arm/tzc_dmc500.h index 70f8ad2d..e21818fe 100644 --- a/include/drivers/arm/tzc_dmc500.h +++ b/include/drivers/arm/tzc_dmc500.h @@ -160,8 +160,8 @@ void tzc_dmc500_driver_init(const tzc_dmc500_driver_data_t *plat_driver_data); void tzc_dmc500_configure_region0(tzc_region_attributes_t sec_attr, unsigned int nsaid_permissions); void tzc_dmc500_configure_region(int region_no, - 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 nsaid_permissions); void tzc_dmc500_set_action(tzc_action_t action); |