pintos-doxygen/html/create-bad-ptr_8c_source.html

/** Passes a bad pointer to the create system call,

   which must cause the process to be terminated with exit code

   -1. */


#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  msg ("create(0x20101234): %d", create ((char *) 0x20101234, 0));

}

test_main
void test_main(void)
Passes a bad pointer to the create system call, which must cause the process to be terminated with ex...
Definition: create-bad-ptr.c:9

create
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91

msg
void msg(const char *format,...)
Definition: lib.c:28

lib.h

main.h