Searched refs:isram_base (Results 1 – 1 of 1) sorted by relevance
253 vaddr_t isram_base = (vaddr_t)phys_to_virt_io(ISRAM_BASE, ISRAM_SIZE); in psci_cpu_on() local292 io_write32(isram_base + BOOT_ADDR_OFFSET, TEE_LOAD_ADDR); in psci_cpu_on()293 io_write32(isram_base + LOCK_ADDR_OFFSET, LOCK_TAG); in psci_cpu_on()
Completed in 3 milliseconds