Home
last modified time | relevance | path

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 Dtzc380.c38 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 Dtzc380.c38 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 Dtzc380.c38 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 Dtzc380.c38 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 Dtzc380.c38 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()