Searched defs:newpte (Results 1 – 4 of 4) sorted by relevance
113 uint64_t pte, newpte, oldpte = 0; in rvi_reset_bits() local
93 uint64_t pte, newpte, oldpte = 0; in ept_reset_bits() local
1934 x86pte_t newpte; in x86pte_mapin() local2416 x86pte_t newpte; in x86pte_zero() local
3123 x86pte_t oldpte, newpte; in hat_updateattr() local