PERCPU_BASE_KS

29

csr_write(off, PERCPU_BASE_KS);

129

csrrd t0, PERCPU_BASE_KS

195

csrrd u0, PERCPU_BASE_KS

23

saved_pcpu_base = csr_read(PERCPU_BASE_KS);

36

csr_write(saved_pcpu_base, PERCPU_BASE_KS);

40

saved_regs.pcpu_base = csr_read(PERCPU_BASE_KS);

59

csr_write(saved_regs.pcpu_base, PERCPU_BASE_KS);