kernel - Fix race in recent callout work master
authorMatthew Dillon <dillon@apollo.backplane.com>
Wed, 26 Nov 2014 21:12:50 +0000 (13:12 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Wed, 26 Nov 2014 21:12:50 +0000 (13:12 -0800)
commitc9fc1062079388ef9b4421f073d9da226164579a
tree9b7a94116d3a7285eb71c69059d3f785d79e65d7
parent1ddefeb55d3988885745e4e0c5d432ce22a92f4d
kernel - Fix race in recent callout work

* CALLOUT_ARMED can only be cleared if the callout is not PENDING and also
  if there are no IPIs pending.  The last bit wasn't being checked properly,
  potentially leading to MP races.
sys/kern/kern_timeout.c