Symbol: aplic_cpucleanup
sys/riscv/vmm/vmm_aplic.h
49
void aplic_cpucleanup(struct hypctx *hypctx);
sys/riscv/vmm/vmm_riscv.c
751
aplic_cpucleanup(hypctx);