nr_target_clusters (reference) in projects: seL4-master

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

/seL4-master/src/arch/x86/smp/
A D	ipi.c	`84 word_t nr_target_clusters = 0; 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() 109 nr_target_clusters++; in x86_ipi_send_mask() 114 for (int i = 0; i < nr_target_clusters; i++) { in x86_ipi_send_mask()`

Completed in 2 milliseconds