Symbol: vhpet_mmio_read
sys/amd64/vmm/io/vhpet.h
43
int vhpet_mmio_read(struct vcpu *vcpu, uint64_t gpa, uint64_t *val,
sys/amd64/vmm/vmm.c
943
mread = vhpet_mmio_read;
sys/amd64/vmm/vmm_dev_machdep.c
401
mread = vhpet_mmio_read;