osfmk/arm/pmap.c

719     pv_hashed_entry_t *pprevh;
725     pprevh = pvhash(pvhash_idx);
728     if (NULL == *pprevh)
731     curh = *pprevh;
736         pprevh = &curh->nexth;
741     *pprevh = pvh->nexth;
943     pv_hashed_entry_t *pprevh;
984             pprevh = pvhash(pvhash_idx);
985             if (PV_HASHED_ENTRY_NULL == *pprevh) {
1007         pprevh = pvhash(pvhash_idx);
1008         if (PV_HASHED_ENTRY_NULL == *pprevh) {
1011         pvh_e = *pprevh;
1018             pprevh = &pvh_e->nexth;
1043         *pprevh = pvh_e->nexth;