asterinas/book/src/kernel/linux-compatibility/syscall-flag-coverage/networking-and-sockets/bind.scml

struct sockaddr = {
    sa_family = AF_INET | AF_UNIX | AF_NETLINK | AF_VSOCK,
    ..
};

// Bind a socket to an address
bind(
    sockfd, addr = <sockaddr>, addrlen
);