Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Kconfig | 809 | logplain |
-rw-r--r-- | Makefile | 458 | logplain |
-rw-r--r-- | main.c | 2275 | logplain |
-rw-r--r-- | mmu.c | 19373 | logplain |
-rw-r--r-- | tlb.S | 1511 | logplain |
-rw-r--r-- | vcpu.c | 26424 | logplain |
-rw-r--r-- | vcpu_exit.c | 18703 | logplain |
-rw-r--r-- | vcpu_sbi.c | 4656 | logplain |
-rw-r--r-- | vcpu_switch.S | 11537 | logplain |
-rw-r--r-- | vcpu_timer.c | 5510 | logplain |
-rw-r--r-- | vm.c | 2014 | logplain |
-rw-r--r-- | vmid.c | 3087 | logplain |