Searched refs:ptdpaddr (Results 1 – 4 of 4) sorted by relevance
42 uint64_t ptdpaddr; /* PA of PML4 */ member
124 pde_pa = cpu_kh->ptdpaddr + (pdei(va) * sizeof(pd_entry_t)); in _kvm_kvatop()
115 pde_pa = cpu_kh->ptdpaddr + (pl4_pi(va) * sizeof(pd_entry_t)); in _kvm_kvatop()
1118 cpuhdr.ptdpaddr = PDPpaddr; in cpu_dump()