Lines Matching refs:default_pager
49 #include <default_pager/default_pager_types.h>
50 #include <default_pager/default_pager_object_server.h>
210 memory_object_default_t default_pager;
213 default_pager = MEMORY_OBJECT_DEFAULT_NULL;
215 &default_pager, 0);
232 /* ENCRYPTED SWAP: tell default_pager to encrypt */
233 default_pager_triggers(default_pager,
238 /* ENCRYPTED SWAP: tell default_pager not to encrypt */
239 default_pager_triggers(default_pager,
253 default_pager_triggers(default_pager,
266 default_pager_triggers(default_pager,