Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Kconfig | 840 | logplain |
-rw-r--r-- | Makefile | 520 | logplain |
-rw-r--r-- | main.c | 2665 | logplain |
-rw-r--r-- | mmu.c | 19377 | logplain |
-rw-r--r-- | tlb.c | 10231 | logplain |
-rw-r--r-- | vcpu.c | 28438 | logplain |
-rw-r--r-- | vcpu_exit.c | 5429 | logplain |
-rw-r--r-- | vcpu_fp.c | 4822 | logplain |
-rw-r--r-- | vcpu_insn.c | 19782 | logplain |
-rw-r--r-- | vcpu_sbi.c | 4364 | logplain |
-rw-r--r-- | vcpu_sbi_base.c | 2646 | logplain |
-rw-r--r-- | vcpu_sbi_hsm.c | 2764 | logplain |
-rw-r--r-- | vcpu_sbi_replace.c | 4311 | logplain |
-rw-r--r-- | vcpu_sbi_v01.c | 3008 | logplain |
-rw-r--r-- | vcpu_switch.S | 11657 | logplain |
-rw-r--r-- | vcpu_timer.c | 8805 | logplain |
-rw-r--r-- | vm.c | 1976 | logplain |
-rw-r--r-- | vmid.c | 3136 | logplain |