xref: /freebsd-13.1/sys/amd64/include/vmm_dev.h (revision 63fb0d3b)