Searched refs:GUEST_CR4 (Results 1 – 2 of 2) sorted by relevance
245 VmcsFields::GUEST_CR4 as u32, in vmcs_init_guest()
211 GUEST_CR4 = encode_vmcs_field_full(VmcsType::GUEST, VmcsWidth::NATURAL, 2) as isize, enumerator