Searched refs:vmx_setreg (Results 1 – 1 of 1) sorted by relevance
3425 vmx_setreg(void *vcpui, int reg, uint64_t val) in vmx_setreg() function4277 .setreg = vmx_setreg,