Searched refs:addr_high (Results 1 – 3 of 3) sorted by relevance
31 uint32_t addr_low, addr_high; in plat_secondary_setup() local54 addr_high = (uint32_t)((params_from_bl2->tzdram_base >> 32U) & 0x7ffU); in plat_secondary_setup()59 mmio_write_32(TEGRA_MISC_BASE + MISCREG_AA64_RST_HIGH, addr_high); in plat_secondary_setup()60 assert(mmio_read_32(TEGRA_MISC_BASE + MISCREG_AA64_RST_HIGH) == addr_high); in plat_secondary_setup()67 addr_high); in plat_secondary_setup()68 assert(mmio_read_32(TEGRA_SCRATCH_BASE + SCRATCH_RESET_VECTOR_HI) == addr_high); in plat_secondary_setup()
28 uint32_t addr_low, addr_high; in plat_secondary_setup() local34 addr_high = (uintptr_t)(((uintptr_t)&tegra_secure_entrypoint >> 32U) & 0x7ffU); in plat_secondary_setup()40 addr_high); in plat_secondary_setup()
70 static uint32_t addr_high(uintptr_t addr __unused) in addr_high() function90 tzc380_write_region_base_high(tzc380.base, region, addr_high(region_base)); in tzc380_configure_region()
Completed in 3 milliseconds