Searched refs:vmx_write_cr4 (Results 1 – 1 of 1) sorted by relevance
360 static void vmx_write_cr4(struct acrn_vcpu *vcpu, uint64_t cr4) in vmx_write_cr4() function562 vmx_write_cr4(vcpu, val); in vcpu_set_cr4()
Completed in 3 milliseconds