File | Mode | Size |
---|---|---|
Kconfig | -rw-r--r-- | 969 bytes |
Makefile | -rw-r--r-- | 726 bytes |
aia.c | -rw-r--r-- | 14.8 KB |
aia_aplic.c | -rw-r--r-- | 15.7 KB |
aia_device.c | -rw-r--r-- | 15.8 KB |
aia_imsic.c | -rw-r--r-- | 29.2 KB |
main.c | -rw-r--r-- | 2.9 KB |
mmu.c | -rw-r--r-- | 19.2 KB |
tlb.c | -rw-r--r-- | 10.2 KB |
vcpu.c | -rw-r--r-- | 20.9 KB |
vcpu_exit.c | -rw-r--r-- | 5.6 KB |
vcpu_fp.c | -rw-r--r-- | 4.7 KB |
vcpu_insn.c | -rw-r--r-- | 19.7 KB |
vcpu_onereg.c | -rw-r--r-- | 30.7 KB |
vcpu_pmu.c | -rw-r--r-- | 16.8 KB |
vcpu_sbi.c | -rw-r--r-- | 12.2 KB |
vcpu_sbi_base.c | -rw-r--r-- | 2.5 KB |
vcpu_sbi_hsm.c | -rw-r--r-- | 2.8 KB |
vcpu_sbi_pmu.c | -rw-r--r-- | 2.2 KB |
vcpu_sbi_replace.c | -rw-r--r-- | 5.3 KB |
vcpu_sbi_sta.c | -rw-r--r-- | 4.9 KB |
vcpu_sbi_v01.c | -rw-r--r-- | 2.9 KB |
vcpu_switch.S | -rw-r--r-- | 11.5 KB |
vcpu_timer.c | -rw-r--r-- | 8.8 KB |
vcpu_vector.c | -rw-r--r-- | 5.0 KB |
vm.c | -rw-r--r-- | 4.5 KB |
vmid.c | -rw-r--r-- | 3.1 KB |