Searched defs:ctrlval (Results 1 – 1 of 1) sorted by relevance
2264 uint64_t ctrlval, cr3, msr_misc_enable; vcpu_reset_regs_vmx() local 3411 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...]