Searched refs:pml4_addr (Results 1 – 2 of 2) sorted by relevance
596 uint64 pml4_addr = guest_mem + ADDR_PML4; in syz_kvm_setup_cpu() local605 sregs.cr3 = pml4_addr; in syz_kvm_setup_cpu()
2097 uint64 pml4_addr = guest_mem + ADDR_PML4;2106 sregs.cr3 = pml4_addr;