Symbol: vhpet_mmio_write
usr/src/uts/intel/io/vmm/io/vhpet.h
55
int vhpet_mmio_write(struct vm *vm, int vcpuid, uint64_t gpa, uint64_t val,
usr/src/uts/intel/io/vmm/vmm.c
1724
err = vhpet_mmio_write(vm, cpuid, gpa, wval, wsize);