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

/freebsd-11-stable/sys/amd64/vmm/io/
H A Dvhpet.h38 int vhpet_mmio_write(void *vm, int vcpuid, uint64_t gpa, uint64_t val,
H A Dvhpet.c470 vhpet_mmio_write(void *vm, int vcpuid, uint64_t gpa, uint64_t val, int size, function
/freebsd-11-stable/sys/amd64/vmm/
H A Dvmm.c1485 mwrite = vhpet_mmio_write;

Completed in 99 milliseconds