pintos-doxygen/html/read-stdout_8c_source.html

/** Try reading from fd 1 (stdout),

   which may just fail or terminate the process with -1 exit

   code. */


#include <stdio.h>

#include <syscall.h>

#include "tests/main.h"


void

test_main (void)

{

  char buf;

  read (STDOUT_FILENO, &buf, 1);

}

buf
static char buf[BUF_SIZE]
Definition: child-syn-read.c:16

read
int read(int fd, void *buffer, unsigned size)
Definition: syscall.c:115

main.h

test_main
void test_main(void)
Try reading from fd 1 (stdout), which may just fail or terminate the process with -1 exit code.
Definition: read-stdout.c:10

STDOUT_FILENO
#define STDOUT_FILENO
Definition: stdio.h:16