tree 6d308986a10605a0fe9d4df2ab89a80b2aad9b01
parent ea44b056bcaa589b242a54a24f065a4d0eb0bfd7
author Nicolas Pitre <npitre@baylibre.com> 1558147706 -0400
committer Anas Nashif <anas.nashif@intel.com> 1560505589 -0400

k_stack: make it 64-bit compatible

The k_stack data type cannot be u32_t on a 64-bit system as it is
often used to store pointers. Let's define a dedicated type for stack
data values, namely stack_data_t, which can be adjusted accordingly.
For now it is defined to uintptr_t which is the integer type large
enough to hold a pointer, meaning it is equivalent to u32_t on 32-bit
systems and u64_t on 64-bit systems.

Signed-off-by: Nicolas Pitre <npitre@baylibre.com>