Symbol: aplic_flush_hwstate
sys/riscv/vmm/vmm_aplic.h
50
void aplic_flush_hwstate(struct hypctx *hypctx);
sys/riscv/vmm/vmm_riscv.c
669
aplic_flush_hwstate(hypctx);