Searched defs:target_cpu (Results 1 – 1 of 1) sorted by relevance
136 is_boot_cpu(uint64_t target_cpu) in is_boot_cpu()404 enable_cpu_psci(uint64_t target_cpu, vm_paddr_t entry, u_int cpuid) in enable_cpu_psci()457 start_cpu(u_int cpuid, uint64_t target_cpu, int domain, vm_paddr_t release_addr) in start_cpu()614 uint64_t target_cpu; in start_cpu_fdt() local