Searched defs:core_idx (Results 1 – 2 of 2) sorted by relevance
17 ffa_vcpu_index_t core_idx = in sp_check_cpu_idx_cmd() local
357 uint32_t core_idx; in populate_redist_base_addrs() local627 uint32_t core_idx = find_core_pos(); in plat_interrupts_configure_interrupt() local
Completed in 5 milliseconds