Searched refs:ppid_t (Results 1 – 2 of 2) sorted by relevance
167 typedef pfn_t ppid_t; /* a 'physical page identifier' - no math allowed! */ typedef169 extern ppid_t kvtoppid(caddr_t);
1208 ppid_t1211 return ((ppid_t)hat_getpfnum(kas.a_hat, addr)); in kvtoppid()