Searched refs:target_clusters (Results 1 – 1 of 1) sorted by relevance

/seL4-master/src/arch/x86/smp/
A D	ipi.c	85 word_t target_clusters[CONFIG_MAX_NUM_NODES]; in x86_ipi_send_mask() local 89 target_clusters[nr_target_clusters] = 0; in x86_ipi_send_mask() 93 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[core]; in x86_ipi_send_mask() 101 target_clusters[nr_target_clusters] |= cpu_mapping.index_to_logical_id[index]; in x86_ipi_send_mask() 115 apic_send_ipi_cluster(ipi, target_clusters[i]); in x86_ipi_send_mask()

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023