| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| Kconfig | D | 01-Feb-2023 | 840 | 37 | 29 | |
| Makefile | D | 01-Feb-2023 | 520 | 28 | 19 | |
| main.c | D | 01-Feb-2023 | 2.6 KiB | 130 | 93 | |
| mmu.c | D | 01-Feb-2023 | 18.9 KiB | 796 | 599 | |
| tlb.c | D | 01-Feb-2023 | 10 KiB | 403 | 313 | |
| vcpu.c | D | 01-Feb-2023 | 27.8 KiB | 1,092 | 799 | |
| vcpu_exit.c | D | 01-Feb-2023 | 5.3 KiB | 213 | 141 | |
| vcpu_fp.c | D | 01-Feb-2023 | 4.7 KiB | 166 | 140 | |
| vcpu_insn.c | D | 01-Feb-2023 | 19.3 KiB | 752 | 552 | |
| vcpu_sbi.c | D | 01-Feb-2023 | 4.3 KiB | 181 | 139 | |
| vcpu_sbi_base.c | D | 01-Feb-2023 | 2.6 KiB | 101 | 76 | |
| vcpu_sbi_hsm.c | D | 01-Feb-2023 | 2.7 KiB | 120 | 94 | |
| vcpu_sbi_replace.c | D | 01-Feb-2023 | 4.2 KiB | 175 | 144 | |
| vcpu_sbi_v01.c | D | 01-Feb-2023 | 2.9 KiB | 119 | 100 | |
| vcpu_switch.S | D | 01-Feb-2023 | 11.4 KiB | 409 | 338 | |
| vcpu_timer.c | D | 01-Feb-2023 | 8.8 KiB | 365 | 282 | |
| vm.c | D | 01-Feb-2023 | 1.9 KiB | 95 | 74 | |
| vmid.c | D | 01-Feb-2023 | 3.1 KiB | 125 | 72 |