pintos-doxygen/html/write-stdin_8c_source.html

/** Try writing to fd 0 (stdin),

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

   code. */


#include <syscall.h>

#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  char buf = 123;

  write (0, &buf, 1);

}

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

write
int write(int fd, const void *buffer, unsigned size)
Definition: syscall.c:121

lib.h

main.h

test_main
void test_main(void)
Try writing to fd 0 (stdin), which may just fail or terminate the process with -1 exit code.
Definition: write-stdin.c:10