other_indexes_in_cluster (reference) in projects: seL4-master

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

/seL4-master/src/arch/x86/kernel/
A D	smp_sys.c	`28 cpu_mapping.other_indexes_in_cluster[getCurrentCPUIndex()] \|= BIT(i); in update_logical_id_mappings() 29 cpu_mapping.other_indexes_in_cluster[i] \|= BIT(getCurrentCPUIndex()); in update_logical_id_mappings()`
/seL4-master/src/arch/x86/smp/
A D	ipi.c	`92 word_t sub_mask = mask & cpu_mapping.other_indexes_in_cluster[core]; in x86_ipi_send_mask() 108 mask &= ~(cpu_mapping.other_indexes_in_cluster[core] \| BIT(core)); in x86_ipi_send_mask()`
/seL4-master/include/arch/x86/arch/model/
A D	smp.h	`23 word_t other_indexes_in_cluster[CONFIG_MAX_NUM_NODES]; member`

Completed in 3 milliseconds