Searched refs:pdpt (Results 1 – 3 of 3) sorted by relevance
56 static pdpt_t pdpt __aligned(4096);100 memset(pdpt, 0, sizeof(pdpt)); in x86_phys_enter_paging()105 pdpt[i].p = 1; in x86_phys_enter_paging()106 pdpt[i].base = ((uintptr_t)&pdts[i]) >> 12; in x86_phys_enter_paging()116 cpu_enable_paging_pae((ulong)pdpt); in x86_phys_enter_paging()
599 uint64* pdpt = (uint64*)(host_mem + ADDR_PDP); in syz_kvm_setup_cpu() local603 NONFAILING(pdpt[0] = PDE64_PRESENT | PDE64_RW | PDE64_USER | pd_addr); in syz_kvm_setup_cpu()
2100 uint64* pdpt = (uint64*)(host_mem + ADDR_PDP);2104 NONFAILING(pdpt[0] = PDE64_PRESENT | PDE64_RW | PDE64_USER | pd_addr);