Searched defs:want0 (Results 1 – 1 of 1) sorted by relevance
1942 uint32_t want1, want0; in vcpu_reset_regs_vmx() local3081 uint32_t want0, uint32_t *out) in vcpu_vmx_compute_ctrl()