|
@@ -636,7 +636,6 @@ DEFINE_PROFILE_INTERVAL(pal_tail_startup_time, pal);
|
|
|
DEFINE_PROFILE_INTERVAL(pal_child_creation_time, pal);
|
|
|
|
|
|
DEFINE_PROFILE_CATAGORY(init, );
|
|
|
-DEFINE_PROFILE_INTERVAL(init_randgen, init);
|
|
|
DEFINE_PROFILE_INTERVAL(init_vma, init);
|
|
|
DEFINE_PROFILE_INTERVAL(init_slab, init);
|
|
|
DEFINE_PROFILE_INTERVAL(init_str_mgr, init);
|
|
@@ -725,7 +724,6 @@ int shim_init (int argc, void * args, void ** return_stack)
|
|
|
#endif
|
|
|
|
|
|
BEGIN_PROFILE_INTERVAL();
|
|
|
- RUN_INIT(init_randgen);
|
|
|
RUN_INIT(init_vma);
|
|
|
RUN_INIT(init_slab);
|
|
|
RUN_INIT(read_environs, envp);
|
|
@@ -862,7 +860,7 @@ static int name_pipe (char * uri, size_t size, void * id)
|
|
|
{
|
|
|
IDTYPE pipeid;
|
|
|
int len;
|
|
|
- getrand(&pipeid, sizeof(pipeid));
|
|
|
+ DkRandomBitsRead(&pipeid, sizeof(pipeid));
|
|
|
debug("creating pipe: pipe.srv:%u\n", pipeid);
|
|
|
if ((len = snprintf(uri, size, "pipe.srv:%u", pipeid)) == size)
|
|
|
return -ERANGE;
|
|
@@ -911,7 +909,7 @@ static int name_path (char * path, size_t size, void * id)
|
|
|
unsigned int suffix;
|
|
|
int prefix_len = strlen(path);
|
|
|
int len;
|
|
|
- getrand(&suffix, sizeof(suffix));
|
|
|
+ DkRandomBitsRead(&suffix, sizeof(suffix));
|
|
|
len = snprintf(path + prefix_len, size - prefix_len, "%08x", suffix);
|
|
|
if (len == size)
|
|
|
return -ERANGE;
|