Lines Matching refs:default_pager
51 #include <default_pager/default_pager_types.h>
52 #include <default_pager/default_pager_object.h>
84 * of default_pager
266 memory_object_default_t default_pager;
363 default_pager = MEMORY_OBJECT_DEFAULT_NULL;
364 kr = host_default_memory_manager(host_priv_self(), &default_pager, 0);
384 kr = default_pager_backing_store_create(default_pager,
388 memory_object_default_deallocate(default_pager);
583 memory_object_default_t default_pager;
609 default_pager = MEMORY_OBJECT_DEFAULT_NULL;
610 kr = host_default_memory_manager(host_priv_self(), &default_pager, 0);
615 if (default_pager == MEMORY_OBJECT_DEFAULT_NULL) {
630 kr = default_pager_info_64(default_pager, &dpi64);
649 if (default_pager != MEMORY_OBJECT_DEFAULT_NULL) {
651 memory_object_default_deallocate(default_pager);