Searched defs:x86pte_t (Results 1 - 1 of 1) sorted by relevance

/illumos-gate/usr/src/uts/i86pc/sys/
H A Dmach_mmu.h145 typedef uint64_t x86pte_t; typedef
148 x86pte_t get_pteval(paddr_t, uint_t);
149 void set_pteval(paddr_t, uint_t, uint_t, x86pte_t);
150 paddr_t make_ptable(x86pte_t *, uint_t);
151 x86pte_t *find_pte(uint64_t, paddr_t *, uint_t, uint_t);
152 x86pte_t *map_pte(paddr_t, uint_t);

Completed in 58 milliseconds