Searched defs:pdpte (Results 1 – 2 of 2) sorted by relevance
123 uint64_t pdpte[4] = {0, 0, 0, 0}; in macvm_set_cr0() local
190 static uint64_t get_1GB_paddr(uint64_t va, uint64_t pdpte) in get_1GB_paddr()