seL4
seL4 copied to clipboard
smp/ipi.c: ipi send mask improvement
Remove duplicated code: IPI_MEM_BARRIER and ipi_send_target show up twice when they don't need to. This makes the code simpler and easy to read.
Improve performance: It is also fast because you only call IPI_MEM_BARRIER once per function execution regardless of the mask.
Not sure if this kind of improvements are accepted but it is worth trying. Let me know if you have some feedback.