Searched defs:oldpte (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
2212 x86pte_t oldpte; in x86pte_inval() local
3123 x86pte_t oldpte, newpte; in hat_updateattr() local4356 x86pte_t oldpte; in hat_mempte_setup() local