/*
* Copyright (c) 2016, ARM Limited, All Rights Reserved
*/
#include "inttypes.h"
void arm_random_module_init(void)
{
}
uint32_t arm_random_seed_get(void)
return 4;