Home
last modified time | relevance | path

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

/DragonOS-0.1.9/kernel/src/arch/x86_64/kvm/vmx/
Dmmu.rs59 pub root_hpa: u64, field
85 .field("root_hpa", &self.root_hpa) in fmt()
97 fn tdp_set_eptp(root_hpa: u64) -> Result<(), SystemError> { in tdp_set_eptp()
103 eptp |= root_hpa & (PAGE_MASK as u64); in tdp_set_eptp()
219 kdebug!("gpa={}, pfn={}, root_hpa={:x}", gpa, pfn, vcpu.mmu.root_hpa); in __direct_map()
221 if vcpu.mmu.root_hpa == 0 { in __direct_map()
Dvcpu.rs401 self.mmu.root_hpa = ept_root_hpa.data() as u64; in kvm_mmu_load()