+unsigned int kernel_stack_pages;
+vm_offset_t kernel_stack_size;
+vm_offset_t kernel_stack_mask;
+vm_offset_t kernel_stack_depth_max;
+
+static inline void
+STACK_ZINFO_PALLOC(thread_t thread)
+{
+ ledger_credit(thread->t_ledger, task_ledgers.tkm_private, kernel_stack_size);
+}
+
+static inline void
+STACK_ZINFO_PFREE(thread_t thread)
+{
+ ledger_debit(thread->t_ledger, task_ledgers.tkm_private, kernel_stack_size);
+}
+
+static inline void
+STACK_ZINFO_HANDOFF(thread_t from, thread_t to)
+{
+ ledger_debit(from->t_ledger, task_ledgers.tkm_private, kernel_stack_size);
+ ledger_credit(to->t_ledger, task_ledgers.tkm_private, kernel_stack_size);
+}
+