Kernel message parameters are now longs
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 8 Jun 2011 21:17:51 +0000 (14:17 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:36:04 +0000 (17:36 -0700)
commitea252c633212b65fdec0bdfcdaf837ba91464f04
tree1a57a9078f39b608c7be283afe03e8aad5f603bd
parent444251e089cf7e8e6839efe6c28d5d53b38d4460
Kernel message parameters are now longs

Instead of void*s.  This helps code be 64-bit friendly, and we avoid
casting to and from pointers when we don't care about pointers.
kern/arch/i686/trap.c
kern/arch/riscv/trap.c
kern/arch/sparc/trap.c
kern/include/kthread.h
kern/include/process.h
kern/include/trap.h
kern/src/frontend.c
kern/src/kthread.c
kern/src/monitor.c
kern/src/process.c
kern/src/testing.c