| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Kconfig | 809 | log plain |
| -rw-r--r-- | Makefile | 499 | log plain |
| -rw-r--r-- | main.c | 2606 | log plain |
| -rw-r--r-- | mmu.c | 18851 | log plain |
| -rw-r--r-- | tlb.S | 1521 | log plain |
| -rw-r--r-- | vcpu.c | 22109 | log plain |
| -rw-r--r-- | vcpu_exit.c | 18699 | log plain |
| -rw-r--r-- | vcpu_fp.c | 4840 | log plain |
| -rw-r--r-- | vcpu_sbi.c | 4361 | log plain |
| -rw-r--r-- | vcpu_sbi_base.c | 2602 | log plain |
| -rw-r--r-- | vcpu_sbi_hsm.c | 2462 | log plain |
| -rw-r--r-- | vcpu_sbi_replace.c | 3355 | log plain |
| -rw-r--r-- | vcpu_sbi_v01.c | 3310 | log plain |
| -rw-r--r-- | vcpu_switch.S | 11537 | log plain |
| -rw-r--r-- | vcpu_timer.c | 5508 | log plain |
| -rw-r--r-- | vm.c | 1971 | log plain |
| -rw-r--r-- | vmid.c | 3097 | log plain |