Searched defs:want0 (Results 1 – 1 of 1) sorted by relevance
2263 uint32_t want1, want0; vcpu_reset_regs_vmx() local 3412 vcpu_vmx_compute_ctrl(uint64_t ctrlval,uint16_t ctrl,uint32_t want1,uint32_t want0,uint32_t * out) vcpu_vmx_compute_ctrl() argument [all...]