const MAX_SOCKETPAIR_BUFFER_CAPACITY: u64 = 0x34000;
The maximum capacity of the socketpair buffer in bytes. This number is arbitrary as the value can always be configured in the real system.