Searched refs:pdpt_addr (Results 1 – 2 of 2) sorted by relevance
598 uint64 pdpt_addr = guest_mem + ADDR_PDP; in syz_kvm_setup_cpu() local602 NONFAILING(pml4[0] = PDE64_PRESENT | PDE64_RW | PDE64_USER | pdpt_addr); in syz_kvm_setup_cpu()
2099 uint64 pdpt_addr = guest_mem + ADDR_PDP;2103 NONFAILING(pml4[0] = PDE64_PRESENT | PDE64_RW | PDE64_USER | pdpt_addr);