Home
last modified time | relevance | path

Searched refs:GUEST_DEBUGCTL (Results 1 – 2 of 2) sorted by relevance

/DragonOS/kernel/src/arch/x86_64/kvm/vmx/
H A Dvcpu.rs232 vmx_vmwrite(VmcsFields::GUEST_DEBUGCTL as u32, unsafe { in vmcs_init_guest()
H A Dvmcs.rs174 GUEST_DEBUGCTL = encode_vmcs_field_full(VmcsType::GUEST, VmcsWidth::BIT64, 1) as isize, enumerator