Searched refs:ADDR_PML4 (Results 1 – 3 of 3) sorted by relevance
7 #define ADDR_PML4 0x2000 macro
596 uint64 pml4_addr = guest_mem + ADDR_PML4; in syz_kvm_setup_cpu()597 uint64* pml4 = (uint64*)(host_mem + ADDR_PML4); in syz_kvm_setup_cpu()
1456 #define ADDR_PML4 0x20002097 uint64 pml4_addr = guest_mem + ADDR_PML4;2098 uint64* pml4 = (uint64*)(host_mem + ADDR_PML4);