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

/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() local 99 while (sub_mask) { in x86_ipi_send_mask() 100 int index = wordBits - 1 - clzl(sub_mask); in x86_ipi_send_mask() 105 sub_mask &= ~BIT(index); in x86_ipi_send_mask()

Completed in 1 milliseconds

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