Name Date Size #Lines LOC

..--

KconfigH A D20-Dec-20241,010

MakefileH A D20-Dec-2024814

aia.cH A D06-Feb-202516.7 KiB709533

aia_aplic.cH A D20-Dec-202415.7 KiB

aia_device.cH A D20-Sep-202415.8 KiB675502

aia_imsic.cH A D01-Mar-202529.2 KiB1,097822

main.cH A D20-Dec-20243.6 KiB

mmu.cH A D20-Dec-202418.8 KiB

nacl.cH A D20-Dec-20243.6 KiB

tlb.cH A D20-Dec-202411 KiB

trace.hH A D20-Sep-20241.4 KiB6846

vcpu.cH A D20-Dec-202426.2 KiB

vcpu_exit.cH A D25-Jan-20256.6 KiB

vcpu_fp.cH A D15-Jul-20244.7 KiB166140

vcpu_insn.cH A D20-Sep-202420.1 KiB783578

vcpu_onereg.cH A D20-Dec-202432.2 KiB

vcpu_pmu.cH A D21-Jan-202522.9 KiB850629

vcpu_sbi.cH A D20-Dec-202412.5 KiB

vcpu_sbi_base.cH A D31-Aug-20232.5 KiB9975

vcpu_sbi_hsm.cH A D01-Mar-20253.1 KiB138104

vcpu_sbi_pmu.cH A D20-Sep-20242.5 KiB9674

vcpu_sbi_replace.cH A D01-Mar-20255.6 KiB219179

vcpu_sbi_sta.cH A D20-Sep-20244.9 KiB213167

vcpu_sbi_system.cH A D01-Mar-20251.7 KiB7557

vcpu_sbi_v01.cH A D02-May-20232.9 KiB11596

vcpu_switch.SH A D20-Dec-202411.8 KiB

vcpu_timer.cH A D20-Dec-20248.9 KiB

vcpu_vector.cH A D15-Jul-20245 KiB201163

vm.cH A D20-Sep-20244.6 KiB216174

vmid.cH A D31-Aug-20233.1 KiB12572