pub const getrandom: u64 = 278;
long sys_getrandom(char __user *buf, size_t count, unsigned int flags);