Hi, Unlike other syscalls(like `read(2)`) `getrandom(2)`'s contract doesn't define what happens if you pass `buflen=0`, does the pointer still has to be valid? (what does valid even mean?) are there any side effects? i.e. is `getrandom(0x01, 0, 0)` undefined behavior?.
Thanks, Elichai. -- PGP: 5607C93B5F86650C
