diff options
Diffstat (limited to 'kernel')
-rw-r--r-- | kernel/proc.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel/proc.c b/kernel/proc.c index 959b778..659ca54 100644 --- a/kernel/proc.c +++ b/kernel/proc.c @@ -523,8 +523,11 @@ forkret(void) // File system initialization must be run in the context of a // regular process (e.g., because it calls sleep), and thus cannot // be run from main(). - first = 0; fsinit(ROOTDEV); + + first = 0; + // ensure other cores see first=0. + __sync_synchronize(); } usertrapret(); |