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