Do not set tpidr_el0 from kernel

src/context/arch/aarch64.rs

@@ -103,10 +103,6 @@ impl Context {
         self.lr = address;
     }
 
-    pub fn set_tcb(&mut self, pid: usize) {
-        self.tpidr_el0 = (crate::USER_TCB_OFFSET + pid * crate::PAGE_SIZE);
-    }
-
     pub fn set_fp(&mut self, address: usize) {
         self.fp = address;
     }

src/context/switch.rs

@@ -170,11 +170,6 @@ pub unsafe fn switch() -> bool {
                 gdt::set_tss_stack(stack.as_ptr() as usize + stack.len());
             }
         }
-        #[cfg(target_arch = "aarch64")]
-        {
-            let pid = to_context.id.into();
-            to_context.arch.set_tcb(pid);
-        }
         CONTEXT_ID.store(to_context.id, Ordering::SeqCst);
 
         if let Some(sig) = to_sig {