Searched refs:sctl_va (Results 1 – 1 of 1) sorted by relevance
45 vaddr_t sctl_va = core_mmu_get_va(SYSCTRL_BOOTADDR_REG, in psci_cpu_on() local55 io_write32(sctl_va, TEE_LOAD_ADDR); in psci_cpu_on()