ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
msghdr Struct Reference

#include <socket.h>

Public Attributes

void * msg_name
socklen_t msg_namelen
struct iovec * msg_iov
size_t msg_iovlen
void * msg_control
size_t msg_controllen
int msg_flags

Member Data Documentation

◆ msg_control

void* msghdr::msg_control

◆ msg_controllen

size_t msghdr::msg_controllen

◆ msg_flags

int msghdr::msg_flags

◆ msg_iov

struct iovec* msghdr::msg_iov

◆ msg_iovlen

size_t msghdr::msg_iovlen

◆ msg_name

void* msghdr::msg_name

◆ msg_namelen

socklen_t msghdr::msg_namelen

The documentation for this struct was generated from the following file: