Symbol: aplic_sync_hwstate
sys/riscv/vmm/vmm_aplic.h
51
void aplic_sync_hwstate(struct hypctx *hypctx);
sys/riscv/vmm/vmm_riscv.c
693
aplic_sync_hwstate(hypctx);