Mateusz Guzik a8c2fcb287 x86: store pending bitmapped IPIs in per-cpu areas
This gets rid of the global cpu_ipi_pending array.

While replace cmpset with fcmpset in the delivery code and opportunistically
check if given IPI is already pending.

Sponsored by:	The FreeBSD Foundation
2019-05-12 06:36:54 +00:00
..
2018-04-13 20:30:49 +00:00
2018-04-13 20:30:49 +00:00
2018-05-11 20:47:45 +00:00
2018-06-04 02:05:48 +00:00
2018-04-13 20:30:49 +00:00