Symbol: vmm_switch
sys/riscv/vmm/riscv.h
128
void vmm_switch(struct hypctx *);
sys/riscv/vmm/vmm_riscv.c
677
vmm_switch(hypctx);