X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=75bc8e542ffd3772fd58b10808f8527b3aadbe36;hp=8524219bf0acc5052f5d75e52817fd4999b2bb79;hb=854aa042a0e960f142cb15ecca8177ee01c3f927;hpb=127ad6d1d303bf93142a4b951ac08f136e4646e5 diff --git a/doc/userprog.texi b/doc/userprog.texi index 8524219..75bc8e5 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -655,11 +655,15 @@ of the rest. @deftypefn {System Call} bool create (const char *@var{file}, unsigned @var{initial_size}) Creates a new file called @var{file} initially @var{initial_size} bytes in size. Returns true if successful, false otherwise. +Opening the new file is a separate operation using the @code{open} +system call. @end deftypefn @deftypefn {System Call} bool remove (const char *@var{file}) Deletes the file called @var{file}. Returns true if successful, false otherwise. +A file may be removed regardless of whether it is open or closed +(@pxref{Removing an Open File}, for more information). @end deftypefn @deftypefn {System Call} int open (const char *@var{file})