Searched refs:tsbptr (Results 1 – 2 of 2) sorted by relevance
112 int64_t hv_mmu_tsb_ctx0(uint64_t ntsb, paddr_t tsbptr);113 int64_t hv_mmu_tsb_ctxnon0(uint64_t ntsb, paddr_t tsbptr);
2549 long tsbptr; in ptelookup_va() local2552 tsbptr = (((va >> 9) & 0xfffffffffffffff0LL) & ~TSBBASEMASK); in ptelookup_va()2553 return (tsbptr / sizeof(pte_t)); in ptelookup_va()