BOOTRANDOM_MAX
char rnddata[BOOTRANDOM_MAX];
char buf[BOOTRANDOM_MAX];
char rnddata[BOOTRANDOM_MAX]; /* XXX dummy */
char buf[BOOTRANDOM_MAX];
char buf[BOOTRANDOM_MAX];
char rnddata[BOOTRANDOM_MAX];
extern char rnddata[BOOTRANDOM_MAX];
char rnddata[BOOTRANDOM_MAX] __aligned(sizeof(long));