improvements to shared memory handling

+ Now each shared region is reference counter (technically each region
  is refernce counted, private regions just have a count of 1).
  Also, syscalls that touch the TLB get flushed, but should probably
  look into where else this flushing might be needed.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/tcb.c b/src/tcb.c
index 3e4c75a..70cad5a 100644
--- a/src/tcb.c
+++ b/src/tcb.c
@@ -199,7 +199,7 @@ struct tcb *create_thread(struct tcb *p)
 
 	stat_t r = OK;
 	if (p) r = __init_owned_thread(p, t);
-	else   r = __init_free_thread(t);
+	else r = __init_free_thread(t);
 
 	if (r) {
 		free_page(MM_O0, bottom);