Searched defs:vmcs_write (Results 1 - 1 of 1) sorted by relevance

/freebsd-13-stable/sys/amd64/vmm/intel/
H A Dvmcs.h88 vmcs_write(uint32_t encoding, uint64_t val) function

Completed in 82 milliseconds