Symbol: vmm_vread