Searched refs:vmx_setreg (Results 1 – 1 of 1) sorted by relevance
2881 vmx_setreg(void *arg, int vcpu, int reg, uint64_t val) in vmx_setreg() function3431 vmx_setreg,