ledger_t coalition_get_ledger(coalition_t coal);
+uint32_t coalition_adjust_focal_task_count(coalition_t coal, int count);
+uint32_t coalition_focal_task_count(coalition_t coal);
+uint32_t coalition_adjust_non_focal_task_count(coalition_t coal, int count);
+uint32_t coalition_non_focal_task_count(coalition_t coal);
+
+void coalition_sfi_reevaluate(coalition_t coal, task_t updated_task);
+
#endif /* XNU_KERNEL_PRIVATE */
#endif /* _KERN_COALITION_H */