Searched refs:pml4 (Results 1 – 2 of 2) sorted by relevance
597 uint64* pml4 = (uint64*)(host_mem + ADDR_PML4); in syz_kvm_setup_cpu() local602 NONFAILING(pml4[0] = PDE64_PRESENT | PDE64_RW | PDE64_USER | pdpt_addr); in syz_kvm_setup_cpu()
2098 uint64* pml4 = (uint64*)(host_mem + ADDR_PML4);2103 NONFAILING(pml4[0] = PDE64_PRESENT | PDE64_RW | PDE64_USER | pdpt_addr);