Searched refs:tzc380_write_region_base_high (Results 1 – 5 of 5) sorted by relevance
/dports/sysutils/atf-sun50i_h6/arm-trusted-firmware-2.5/drivers/arm/tzc/ |
H A D | tzc380.c | 38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region, in tzc380_write_region_base_high() function 90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()
|
/dports/sysutils/atf-sun50i_a64/arm-trusted-firmware-2.5/drivers/arm/tzc/ |
H A D | tzc380.c | 38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region, in tzc380_write_region_base_high() function 90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()
|
/dports/sysutils/atf-rk3328/arm-trusted-firmware-2.5/drivers/arm/tzc/ |
H A D | tzc380.c | 38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region, in tzc380_write_region_base_high() function 90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()
|
/dports/sysutils/atf-fvp/arm-trusted-firmware-2.5/drivers/arm/tzc/ |
H A D | tzc380.c | 38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region, in tzc380_write_region_base_high() function 90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()
|
/dports/sysutils/atf-rk3399/arm-trusted-firmware-2.5/drivers/arm/tzc/ |
H A D | tzc380.c | 38 static void tzc380_write_region_base_high(uintptr_t base, unsigned int region, in tzc380_write_region_base_high() function 90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()
|