Home
last modified time | relevance | path

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

/DragonOS/kernel/src/arch/x86_64/kvm/vmx/
H A Dmmu.rs60 pub root_hpa: u64, field
79 .field("root_hpa", &self.root_hpa) in fmt()
91 fn tdp_set_eptp(root_hpa: u64) -> Result<(), SystemError> { in tdp_set_eptp()
97 eptp |= root_hpa & (PAGE_MASK as u64); in tdp_set_eptp()
214 debug!("gpa={}, pfn={}, root_hpa={:x}", gpa, pfn, vcpu.mmu.root_hpa); in __direct_map()
216 if vcpu.mmu.root_hpa == 0 { in __direct_map()
H A Dvcpu.rs404 self.mmu.root_hpa = ept_root_hpa.data() as u64; in kvm_mmu_load()