[][src]Type Definition mynewt::kernel::os::os_stack_t

type os_stack_t = u32;