Searched refs:devicePager (Results 1 – 2 of 2) sorted by relevance
157 void * devicePager; member
773 reserved->dp.devicePager = pager; in memoryReferenceCreate()1063 if ((reserved != NULL) && (reserved->dp.devicePager) && (_wireCount != 0)) { in memoryReferenceMap()1375 if ((reserved != NULL) && (reserved->dp.devicePager) && (_wireCount != 0)) { in memoryReferenceMapNew()2397 if (reserved->dp.devicePager) { in free()2400 device_pager_deallocate((memory_object_t) reserved->dp.devicePager ); in free()4965 pager = (memory_object_t) (reserved ? reserved->dp.devicePager : NULL); in doMap()5360 pager = (memory_object_t) reserved->dp.devicePager; in redirect()