static void tstack_pop(struct k_stack *pstack) { uint32_t rx_data; for (int i = STACK_LEN - 1; i >= 0; i--) { /**TESTPOINT: stack pop*/ assert_false(k_stack_pop(pstack, &rx_data, K_NO_WAIT), NULL); assert_equal(rx_data, data[i], NULL); } }
/* Allocate an asynchronous message descriptor */ static void _pipe_async_alloc(struct k_pipe_async **async) { k_stack_pop(&pipe_async_msgs, (u32_t *)async, K_FOREVER); }