add_bootloader_randomness
add_bootloader_randomness(data + 2, len);
add_bootloader_randomness(rng_seed, len);
add_bootloader_randomness(rng_seed, sizeof(rng_seed));
add_bootloader_randomness(data->data, data->len);
add_bootloader_randomness(seed->bits, size);
add_bootloader_randomness(randomdata, length);
add_bootloader_randomness(rng_seed, l);
void __init add_bootloader_randomness(const void *buf, size_t len);