Kernel: Add some spec links and comments to sys$posix_fallocate()

Author: https://github.com/awesomekling
Commit: https://github.com/SerenityOS/serenity/commit/4277e2d58f
Pull-request: https://github.com/SerenityOS/serenity/pull/16231
Reviewed-by: https://github.com/Hendiadyoin1
Reviewed-by: https://github.com/emanuele6
Reviewed-by: https://github.com/fdellwing
Reviewed-by: https://github.com/skyrising
Reviewed-by: https://github.com/supercomputer7
Reviewed-by: https://github.com/timschumi ✅

Kernel/Syscalls/fallocate.cpp

@@ -12,11 +12,13 @@
 
 namespace Kernel {
 
+// https://pubs.opengroup.org/onlinepubs/9699919799/functions/posix_fallocate.html
 ErrorOr<FlatPtr> Process::sys$posix_fallocate(int fd, Userspace<off_t const*> userspace_offset, Userspace<off_t const*> userspace_length)
 {
     VERIFY_NO_PROCESS_BIG_LOCK(this);
     TRY(require_promise(Pledge::stdio));
 
+    // [EINVAL] The len argument is less than zero, or the offset argument is less than zero, or the underlying file system does not support this operation.
     auto offset = TRY(copy_typed_from_user(userspace_offset));
     if (offset < 0)
         return EINVAL;
@@ -31,9 +33,12 @@ ErrorOr<FlatPtr> Process::sys$posix_fallocate(int fd, Userspace<off_t const*> us
         return EFBIG;
 
     auto description = TRY(open_file_description(fd));
+
+    // [EBADF] The fd argument references a file that was opened without write permission.
     if (!description->is_writable())
         return EBADF;
 
+    // [ESPIPE] The fd argument is associated with a pipe or FIFO.
     if (description->is_fifo())
         return ESPIPE;