size_t up_check_tcbstack(FAR struct tcb_s *tcb) { return do_stackcheck((uintptr_t)tcb->stack_alloc_ptr, tcb->adj_stack_size); }
size_t up_check_intstack(void) { uintptr_t start = (uintptr_t)g_intstackbase - (CONFIG_ARCH_INTERRUPTSTACK & ~3); return do_stackcheck(start, (CONFIG_ARCH_INTERRUPTSTACK & ~3)); }
size_t up_check_intstack(void) { return do_stackcheck((uintptr_t)&g_intstackalloc, (CONFIG_ARCH_INTERRUPTSTACK & ~3)); }