Searched refs:x86pte_set (Results 1 – 3 of 3) sorted by relevance
281 extern x86pte_t x86pte_set(htable_t *, uint_t entry, x86pte_t new, void *);
2066 x86pte_set(htable_t *ht, uint_t entry, x86pte_t new, void *ptr) in x86pte_set() function
1846 old_pte = x86pte_set(ht, entry, pte, pte_ptr); in hati_pte_map()