Searched refs:devicePager (Results 1 – 2 of 2) sorted by relevance
161 void * devicePager; member
770 reserved->dp.devicePager = pager; in memoryReferenceCreate()1060 if ((reserved != NULL) && (reserved->dp.devicePager) && (_wireCount != 0)) { in memoryReferenceMap()1372 if ((reserved != NULL) && (reserved->dp.devicePager) && (_wireCount != 0)) { in memoryReferenceMapNew()2398 if (reserved->dp.devicePager) { in free()2401 device_pager_deallocate((memory_object_t) reserved->dp.devicePager ); in free()5056 pager = (memory_object_t) (reserved ? reserved->dp.devicePager : NULL); in doMap()5451 pager = (memory_object_t) reserved->dp.devicePager; in redirect()