14main (
int argc,
char *argv[])
21 CHECK (argc == 2,
"argc must be 2, actually %d", argc);
22 child_idx =
atoi (argv[1]);
int main(int argc, char *argv[])
char buf[BUF_SIZE]
Child process for syn-read test.
int atoi(const char *s)
Converts a string representation of a signed decimal integer in S into an ‘int’, which is returned.
int open(const char *file)
int write(int fd, const void *buffer, unsigned size)
void seek(int fd, unsigned position)
void msg(const char *format,...)
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
void random_bytes(void *buf_, size_t size)
Writes SIZE random bytes into BUF.
void random_init(unsigned seed)
Initializes or reinitializes the PRNG with the given SEED.
static const char file_name[]
tests/filesys/base/syn-read.h