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> |
||
|---|---|---|
| .. | ||
| gen_offset.h | ||
| kernel_arch_interface.h | ||
| kernel_internal.h | ||
| kernel_offsets.h | ||
| ksched.h | ||
| kswap.h | ||
| offsets_short.h | ||