static KERNEL_USER_STACKS_ALLOCATED: AtomicU64
Total number of kernel-owned user stacks ever allocated.