Searched refs:vhpet_mmio_read (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/amd64/vmm/io/
H A Dvhpet.h40 int vhpet_mmio_read(void *vm, int vcpuid, uint64_t gpa, uint64_t *val,
H A Dvhpet.c620 vhpet_mmio_read(void *vm, int vcpuid, uint64_t gpa, uint64_t *rval, int size, function
/freebsd-11-stable/sys/amd64/vmm/
H A Dvmm.c1484 mread = vhpet_mmio_read;

Completed in 73 milliseconds