-void
-fourk_pager_bootstrap(void)
-{
- lck_grp_attr_setdefault(&fourk_pager_lck_grp_attr);
- lck_grp_init(&fourk_pager_lck_grp, "4K-pager", &fourk_pager_lck_grp_attr);
- lck_attr_setdefault(&fourk_pager_lck_attr);
- lck_mtx_init(&fourk_pager_lock, &fourk_pager_lck_grp, &fourk_pager_lck_attr);
- queue_init(&fourk_pager_queue);
-}
-