Searched defs:pdpte (Results 1 – 4 of 4) sorted by relevance
122 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()
63 u64 pdpte; in nested_svm_get_tdp_pdptr() local
873 u64 pdpte[ARRAY_SIZE(mmu->pdptrs)]; in load_pdptrs() local