__cvdso_getrandom
return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);
typeof(__cvdso_getrandom) __kernel_getrandom;
return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);
return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);
return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);
return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);
return __cvdso_getrandom(buffer, len, flags, opaque_state, opaque_len);