lunaix-os/arch/aarch64/exception/vmswitch.c

   1 #include <lunaix/process.h>
   2 #include <asm/aa64_mmu.h>
   3 #include <asm/tlb.h>
   4
   5 void
   6 aa64_switch_ttbr()
   7 {
   8     ptr_t ttbr;
   9     struct proc_mm* vms;
  10
  11     vms = proc_vmroot();
  12
  13     ttbr = read_sysreg(TTBR0_EL1);
  14
  15     /*
  16         We don't differentiate ASID for now
  17         and CnP=1
  18     */
  19
  20     if (!BITS_GET(ttbr, TTBR_BADDR) == vms->vmroot) {
  21         return;
  22     }
  23
  24     BITS_SET(ttbr, TTBR_BADDR, vms->vmroot);
  25
  26     set_sysreg(TTBR0_EL1, ttbr);
  27
  28     /*
  29         TODO a more fine grain control of flushing
  30         Unlike x86, hardware will not flush TLB upon switching
  31         the translation base.
  32
  33         as kernel address space are shared, flushing should be avoided,
  34         thus the apporachs:
  35             1. enable the use of ASID and flush accordingly
  36             2. enable the use of ASID and TTBR1 to house kernel,
  37                use TCR_EL1.A1 to switch between ASIDs in TTBR0 and TTBR1.
  38             3. range flushing (RVAAE1) on all memory regions used by user space.
  39
  40     */
  41     __tlb_flush_all();
  42 }