lx_emul: fixed types in lx_emul_gen_random_u*

* Rename lx_emul_gen_random_uint lx_emul_gen_random_u32.
* Use genode_uint*_t as return types for the lx_emul_gen_random_u* functions.

Ref #4544
This commit is contained in:
Martin Stein
2022-07-11 09:56:15 +02:00
committed by Christian Helmuth
parent 5a4efcad0a
commit 1fbe72b7dd
5 changed files with 12 additions and 10 deletions

View File

@ -49,7 +49,7 @@ int wait_for_random_bytes(void)
u32 get_random_u32(void) u32 get_random_u32(void)
{ {
return lx_emul_gen_random_uint(); return lx_emul_gen_random_u32();
} }
@ -57,7 +57,7 @@ u32 get_random_u32(void)
u32 prandom_u32(void) u32 prandom_u32(void)
{ {
return lx_emul_gen_random_uint(); return lx_emul_gen_random_u32();
} }

View File

@ -27,6 +27,8 @@
#ifndef _LX_EMUL__RANDOM_H_ #ifndef _LX_EMUL__RANDOM_H_
#define _LX_EMUL__RANDOM_H_ #define _LX_EMUL__RANDOM_H_
#include <base/fixed_stdint.h>
#ifdef __cplusplus #ifdef __cplusplus
extern "C" { extern "C" {
#endif #endif
@ -41,8 +43,8 @@ void lx_emul_gen_random_bytes(void *dst,
/** /**
* Return a random unsigned integer value. * Return a random unsigned integer value.
*/ */
unsigned int lx_emul_gen_random_uint(void); genode_uint32_t lx_emul_gen_random_u32(void);
unsigned long long lx_emul_gen_random_u64(void); genode_uint64_t lx_emul_gen_random_u64(void);
#ifdef __cplusplus #ifdef __cplusplus
} }

View File

@ -217,13 +217,13 @@ void lx_emul_gen_random_bytes(void *dst,
} }
unsigned int lx_emul_gen_random_uint() genode_uint32_t lx_emul_gen_random_u32()
{ {
return (unsigned int)xoroshiro().get_u64(); return (genode_uint32_t)xoroshiro().get_u64();
} }
unsigned long long lx_emul_gen_random_u64() genode_uint64_t lx_emul_gen_random_u64()
{ {
return xoroshiro().get_u64(); return (genode_uint64_t)xoroshiro().get_u64();
} }

View File

@ -26,7 +26,7 @@ void add_input_randomness(unsigned int type,unsigned int code,unsigned int value
u32 get_random_u32(void) u32 get_random_u32(void)
{ {
return lx_emul_gen_random_uint(); return lx_emul_gen_random_u32();
} }

View File

@ -465,7 +465,7 @@ void prandom_bytes(void *buf, size_t bytes)
u32 prandom_u32(void) u32 prandom_u32(void)
{ {
return lx_emul_gen_random_uint(); return lx_emul_gen_random_u32();
} }