Symbol: vhpet_mmio_write
sys/amd64/vmm/io/vhpet.h
41
int vhpet_mmio_write(struct vcpu *vcpu, uint64_t gpa, uint64_t val,
sys/amd64/vmm/vmm.c
944
mwrite = vhpet_mmio_write;
sys/amd64/vmm/vmm_dev_machdep.c
402
mwrite = vhpet_mmio_write;