Lines Matching defs:default_pager
49 #include <default_pager/default_pager_types.h>
50 #include <default_pager/default_pager_object_server.h>
200 memory_object_default_t default_pager;
203 default_pager = MEMORY_OBJECT_DEFAULT_NULL;
205 &default_pager, 0);
222 /* ENCRYPTED SWAP: tell default_pager to encrypt */
223 default_pager_triggers(default_pager,
228 /* ENCRYPTED SWAP: tell default_pager not to encrypt */
229 default_pager_triggers(default_pager,
239 return default_pager_triggers(default_pager,
256 default_pager_triggers(default_pager,
270 default_pager_triggers(default_pager,
283 default_pager_triggers(default_pager,