Kernel message sanity checks
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 31 May 2011 18:08:14 +0000 (11:08 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:03 +0000 (17:36 -0700)
commit88128aa76803d5fd89f4208e9ad04f155fdf9380
tree75c519998dbf510e185d12944a130623f15807cb
parent3864ad1917ee17eaeb8a422c7bc5ffa1230a2183
Kernel message sanity checks

Ensures the message went to the proper endpoint.  Now that the slab
allocator was fixed, this shouldn't happen again, but I can imagine
other bugs that would cause it, with crazy results.

Also added a couple other asserts / TODOs.
kern/arch/i686/smp_boot.c
kern/arch/i686/trap.c
kern/include/trap.h
kern/src/process.c