vkernel - Properly initialize pool tokens.
authorAntonio Huete Jimenez <tuxillo@quantumachine.net>
Mon, 8 Oct 2012 14:28:20 +0000 (16:28 +0200)
committerAntonio Huete Jimenez <tuxillo@quantumachine.net>
Mon, 8 Oct 2012 15:30:37 +0000 (17:30 +0200)
commit0f85165cc636da905f7031428e4e8fc59f13c7ea
tree3749b83dae9b8ec465f0ac451ff4ff45d319e4f0
parent3b78a8dc0048374429004469f88ccb873cfd71b8
vkernel - Properly initialize pool tokens.

 * There was no call to init_locks() in vkernel's initialization
   code, so provide one.

 * As pool tokens weren't initialized, the attempt to copy its
   t_desc in lwkt_getalltokens() resulted in a panic. This should
   be fixed now.

 * Add a KASSERT() so that uninitialized tokens will panic the system.

Suggested by: swildner
sys/kern/lwkt_token.c
sys/platform/vkernel/platform/init.c
sys/platform/vkernel64/platform/init.c