Symbol: vhpet_mmio_read
usr/src/uts/intel/io/vmm/io/vhpet.h
57
int vhpet_mmio_read(struct vm *vm, int vcpuid, uint64_t gpa, uint64_t *val,
usr/src/uts/intel/io/vmm/vmm.c
1694
err = vhpet_mmio_read(vm, cpuid, gpa, rval, rsize);