Flavio Ceolin 91fd6d0866 kernel: thread: Fix randomness problem with stack pointer random ... In some platforms the size of size_t can be different of 4 bytes. Use sys_rand_get to proper fill this variable. Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>		2019-11-15 13:43:32 -08:00
..
gen_offset.h
kernel_arch_interface.h
kernel_internal.h	kernel: thread: Fix randomness problem with stack pointer random	2019-11-15 13:43:32 -08:00
kernel_offsets.h
ksched.h
kswap.h
offsets_short.h