Searched refs:boot_addr (Results 1 – 2 of 2) sorted by relevance
603 sc_rsrc_t resource_cpu, sc_faddr_t boot_addr,
381 sc_rsrc_t resource_cpu, sc_faddr_t boot_addr, in sc_pm_boot() argument390 RPC_U32(&msg, 0U) = (uint32_t)(boot_addr >> 32U); in sc_pm_boot()391 RPC_U32(&msg, 4U) = (uint32_t)boot_addr; in sc_pm_boot()
Completed in 6 milliseconds