vkernel - Fix a vkernel lockup on startup
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Tue, 20 Sep 2016 22:03:05 +0000 (00:03 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Thu, 6 Oct 2016 17:54:06 +0000 (19:54 +0200)
commita60193ca59d325e40b28928b80c8941c43e17231
tree9417bc8fbe4b01d3248fecc3473dcb756feafe1b
parentc93cff25bdae7a0100924c7fd5259cd49581d1c2
vkernel - Fix a vkernel lockup on startup

- During ap_init() any pending IPIs is processed manually so
  clear gd_npoll as the real kernel does.
- Do not disable interrupts for vkernels during lwkt_send_ipiq3()
  because they don't seem to be re-enabled afterwards as they should.
  I'm not entirely sure this is the right fix, more investigation
  is required.
sys/kern/lwkt_ipiq.c
sys/platform/vkernel64/x86_64/mp.c