Files
| Mode | Name | Size |
|---|---|---|
| 040000 | ../ | -- |
| 100644 | Kconfig | 965 B |
| 100644 | Makefile | 923 B |
| 100644 | aia.c | 18.6 KiB |
| 100644 | aia_aplic.c | 16.0 KiB |
| 100644 | aia_device.c | 15.6 KiB |
| 100644 | aia_imsic.c | 31.3 KiB |
| 100644 | gstage.c | 15.2 KiB |
| 100644 | isa.c | 6.6 KiB |
| 100644 | main.c | 6.0 KiB |
| 100644 | mmu.c | 20.6 KiB |
| 100644 | nacl.c | 4.1 KiB |
| 100644 | tlb.c | 13.6 KiB |
| 100644 | trace.h | 3.4 KiB |
| 100644 | vcpu.c | 27.1 KiB |
| 100644 | vcpu_config.c | 3.0 KiB |
| 100644 | vcpu_exit.c | 7.7 KiB |
| 100644 | vcpu_fp.c | 5.0 KiB |
| 100644 | vcpu_insn.c | 17.3 KiB |
| 100644 | vcpu_onereg.c | 27.5 KiB |
| 100644 | vcpu_pmu.c | 25.6 KiB |
| 100644 | vcpu_sbi.c | 18.1 KiB |
| 100644 | vcpu_sbi_base.c | 1.9 KiB |
| 100644 | vcpu_sbi_forward.c | 948 B |
| 100644 | vcpu_sbi_fwft.c | 19.6 KiB |
| 100644 | vcpu_sbi_hsm.c | 2.7 KiB |
| 100644 | vcpu_sbi_pmu.c | 2.6 KiB |
| 100644 | vcpu_sbi_replace.c | 5.0 KiB |
| 100644 | vcpu_sbi_sta.c | 5.5 KiB |
| 100644 | vcpu_sbi_system.c | 2.0 KiB |
| 100644 | vcpu_sbi_v01.c | 3.2 KiB |
| 100644 | vcpu_switch.S | 11.8 KiB |
| 100644 | vcpu_timer.c | 9.6 KiB |
| 100644 | vcpu_vector.c | 6.1 KiB |
| 100644 | vm.c | 5.8 KiB |
| 100644 | vmid.c | 3.2 KiB |