Don't cache pcpui in sys_fork()
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Aug 2018 18:27:46 +0000 (14:27 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 14 Aug 2018 18:27:46 +0000 (14:27 -0400)
commite94ea40da19b2cd09a262897c0d6a708a2835b71
tree7ca90d60bed57e25146b7d5b9697ab261944e536
parent713e1182eef94a2d71a6d7575ce3758fcedd3259
Don't cache pcpui in sys_fork()

There wasn't a bug here, yet, but this cuts down on the number of places
that could accidentally cache pcpui and access it after a migration.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/src/syscall.c