catch up userspace port

412c2695 · Nickolai Zeldovich · 28e654af · 412c2695
--- a/user/crange_arch.hh
+++ b/user/crange_arch.hh
@@ -101,9 +101,7 @@ kmalignfree(void *ptr, size_t align, size_t size)
 }
 struct proc {
-  spinlock gc_epoch_lock;
+  std::atomic<u64> epoch;
-  u64 epoch;
-  u64 epoch_depth;
  u32 cpuid;
  u32 pid;
  char name[32];